Apri il file .avi con GSpot...se ti mancano i codec audio/video necessari per aprire il filmato te lo segnala:a quel punto non ti resta che fare una bella ricerca su Google, trovare il codec mancante e scaricarlo (si trovano molto facilmente)

Per semplificare le cose:

GSpot http://www.headbands.com/gspot/

A quest'indirizzo trovi un Total Pack con tutti i codec audio/video utilizzati al momento
http://www.quellicheilpc.com/forum/viewtopic.php?t=146

Per "operare" sui DivX (vedi "sincro") è ottimo VirtualDub
http://sourceforge.net/projects/virtualdubmod/