Aggiornando windows media player si aggiornano anche i codec wma... ma non credo sia quello.

Ti consiglio di installare GSpot e con quello verificare il codec audio usato nei divx in questione!