si tu as déjà ton divx avec une piste audio, je crois aps que ce soit possible...
Sinon, qd tu fais ton divx, tu extrait d'abord la vidéo en avi puis tu extrais les pistes audio que tu veux en wav. Ensuite tu compresses le wav en mp3 et tu les mixes avec Avi mux.
Et il faudra que tu lises avec bsplayer ou alors tu édites avec graphedit pour faire 2 filtres qui te permettent de jouer avec wmp.
Voilà