Перекодировать видео файл в .avi (не в divx)

Добрый день,

нужно конвертировать один mp4 видео ролик в .avi

Этот AVI должен быть совместим с монтажной системой Pinnacle (это не моё - клиента). То есть нужна нормальная авишка - монтажная, а не Divx.

Посоветуйте пожалуйста как это сделать с бесплатным софтом и какой кодек нужен?