The ffmpeg is the universal video manipulator in Linux, all distros could use the ffmpeg as video manipulator.
Now I want to reduce the size of the mp4 video I got from my friend into friendlier size. This code is one option to consider.
ffmpeg -i input.mp4 -vcodec h264 -acodec mp3 -crf 30 output.mp4