Para otra vez, codifica el mp4 con diferentes codecs o directamente crea un AVI o DIVX a 4k bajando bitrate
Usa vegas o Virtualdub