mencoder -ovc divx4 -oac mp3lame -noskip detect_640_dl.mov -o detect_640_dl.avi
Great! My machine doesn’t play Quicktime movies very well – it’s under powered. It does play Divx files fine though.
The above command will convert a Quicktime file into a Divx file. Not sure yet how the filesize of the new avi will compare to the .mov file. There are options to set the bit rate and other Divx parameters so it’ll take some experimentation to get right if past experience with Windows encoders is anything to go by.
Update! Audio sync is way off. This pagepage has some more info that might come in handy for further experimentation.