No puedo saber qué codec tienes que bajar si no me lo dices
Ten en cuenta que las películas AVI no son todas DivX. Existe también otro popular formato llamado XviD. Y con los codec DivX no puedes ver XviD, y con los XviD no puedes ver DivX. Por tanto habría que instalarse los dos.
Te recomiendo pasar por las FAQs de este foro (hay un mensaje sobre codecs) o bien leete esta guia sobre codecs:
www.mundodivx.com/varios/codecs.php 
Saludos
