Я использую Format Factory
http://www.formatoz.comЭто бесплатный конвертер видео/аудио...
Скачиваете - запускаете - выбираете профиль (в нашем случае All to AVI)- добавляете исходные файлы - нажимаете Start (в главном окне кнопка, вверху) - всё.
чтобы увидеть конвертированное видео - нажать кнопку "конечная папка" в главном окне