I did eventually get it to encode. Not with libx264, though. I pretty much copied the original (same file size & mplayer -identify results) except I did add in -vpre baseline. Tried setting the pixel format to the h264 one listed in ffmpeg -pix_fmt list; also no effect. Next attempts will be to use yuv or something.

All ideas welcome... (aim: play this video in stock player)