Divx es uno de los codec que se usan con los AVI, pero últimamente está mucho más extendido el XviD, asi que también lo necesitarás... junto a los codec de audio
Los principales codecs que tienes que instalar están aqui:
www.mundodivx.com/varios/codecs.php
Y luego usa un buen reproductor, como bsplayer o media player classic.
Suerte
