Мне казалось что поиск по тегу convert avi for mp4
В гугле насыпает столько, что вообщем то вопросы снимаются.
Да и VirtualDub вообщем то не куда не девался, ставь кодеки, его и вперед.А уж про море утилит а так же софта от Пинакл студии и корела..ну да платные.