Compress MP4

Shrink MP4 video by re-encoding at a higher CRF.