from the listed ones I would choose mpeg4 (if optional with a really high bitrate).
or, if size doesn't matter but last grain of quality 'Animation'.
and, btw, iM11 doesn't support 50p (nor 60p)
change to 25/30p
(isn't HDV always interlaced??)
a seperate SDef version …? what for? no use.-
on playout final project you can down-scale.
a/b-roll editing of music is no fun in iMovie …
no synch options.
in FCPX a no-brainer .....