Io ho fatto varie prove in passato ed alla fine ho optato per Any Video Converter, programma free e scaricabile da qui: http://www.any-video-converter.com/p...or_video_free/
Una volta installato ed aperto il programma, vai su aggiungi video per aprire il file, poi fra le opzioni di export selezioni "filmato avi personalizzato".
Dopo di che, sempre nella colonna di destra ma appena più sotto vai a selezionare la casella a fianco di codec video per impostare originale, stessa cosa per dimensione video; nell'audio metti mp3 e tutte le opzioni al massimo per ridurre al minimo la perdita di qualità ed una volta avviata la conversione avrai in circa 3 minuti (a seconda della lunghezza del video e della potenza del tuo computer) il tuo file con il video originale e l'audio riconvertito da ac3 in mp3, compatibile quindi con tutti i lettori divx.