En anders toch gewoon even omzetten. Mencoder kan ik niet aanbevelen. Die is helemaal gebouwd rond de klassieke avi muxer. Je kunt tegenwoordig ook andere muxers uit ffmpeg gebruiken, maar mijn ervaring is dat dat meestalg geen compliant streams oplevert.
Met ffmpeg kan het heel goed, maar dan heb je wat achtergrondkennis nodig (en niet, zoals ik ergens ander hier zag, doen: "ffmpeg -i infile -o outfile.mp4" en klaar, dat werkt wel, maar levert niet op wat je wilt).
Handbrake, kan die al HEVC maken?