Ich habe früher mit DivX einiges gemacht - und in den frühen Versionen DivX 3 oder 4 gabs eigenen Audio codecs.
Ich glaube aber, daß die weitgehend mit mp3 kompatibel sind - aber mit dem letzten Codec DivX5.05 habe auch ich absolut keine Erfahrung.
Es gibt da aber sichter tools zum muxen - ich würde es mal beim alten vcd.help.com versuchen (heißt inzwischen dvd.help.com).
Oder hier
http://www.doom9.de/
in der download area.