I’ve now realized the code I posted works. I expected to see the stylesheet referenced in the head, but there is no such reference. It turns out the styles are being applied solely on the basis of the settings in tinyMCEPreInit.
In fact, this is all that’s needed:
add_editor_style('editor-style.css');