Ooohh..!! Tricky.
Virtual Dub cant seem to see .mov (and I can't say I am surprised)
However, the Radvideo tools (Freeware!) can.
Oh, and they can punt them straight into divx 4.12, resize them and convert the audio to boot. Dont seem to do mp3, though.
RadGameTools
:D :D :D :D :D :D...