.AVI - это контейнер, DivX - это кодек. Так что если плеер не читает файлы AVI, надо проверить, каким кодеком они закодированы. В помощь вам в этом прога mediainfo. Важным может быть так же разрешение видео. Например, максимальное допустимое может быть 320 строк, или того меньше. Так же может быть ограничен максимальный битрейт. Когда с этими параметрами разобрались, берем свой любимый конвертер, который хорошо работает с исходным и желаемым кодеком, выбираем битрейт и разрешение, прочие параметры и кодируем. Можно так же скачать несколько подходящих видеофайлов с рутрекера и с ними экспериментировать.
P.S. Да, еще про звуковую дорожку не забываем.