В интернете уже куча он-лайн сервисов которые предоставляют данную услугу, просто пиши запрос: "онлайн конвертация avi в mp4" он тебе сразу выдаст пачку сайтов.
Для больших файлов и предпочитаю ЮТУБ. Загружаю туда видео, после обработки просто подставляешь ss -> ssyoutube.com/idVIDEO и тебя перебрасывает на сайт, в котором можно сохранить в разных форматах видео, очень удобно. Плюс сжимает с минимальными потерями качества.