virtual dub est un logiciel tout à fait adapté ! lance virtual d, ouvre ton divx, dans le menu video tu choisis "direct stream copy", puisque dans le cas présent, tu n'as que le son à ré-encoder, ensuite tu vas dans le menu audio et tu sélectionne "full processing mode", ensuite, toujours dans audio, tu vas dans "compression", et tu choisis le format audio parmi tous les codecs qui sont dans la liste à gauche (qui sont installé sur ton pc) et tu met ok (méfies toi juste de pas sélectionner une qualité de son trop haute, car ça peut te faire dépasser les 700 Mo pour tenir sur un cd... mais ça tu le vois une fois que tu lance le processus) . Ensuite tu vas dans fichier et tu fais "save as avi" et voilà. Selon ta bécane ça prend une vingtaine de minutes...
Petit détail, assure toi que ton divx est bien en "wma" en audio pour pas faire tout ça pour rien, utilise un logiciel comme Gspot, ça te le dit tout de suite :-)