Para passar para mp4 podem usar o VLC para {video for MPEG4 1080p tv/device}. Esta solução funciona. Deve haver muitas outras.