how to slow down a video (and its audio) by 1.25x

$ brew install ffmpeg

$ ffmpeg -i input.mp4 -filter_complex "[0:v]setpts=1.25*PTS[v];[0:a]atempo=0.8[a]" -map "[v]" -map "[a]" output.mp4