I work with DV in final cut pro, and was wondering what the best way to convert it into divx was. neither the 3ivx codec nor the ffmpeg divx codec seem to be able to export divx files with audio. are there any divx codecs for quicktime that will preserve audio when exporting, or any separate programs that will convert DV into divx?