4x resample videoframes using ffmpeg
ffmpeg with this filterchain does it:

ffmpeg -i input -vf "tblend=average,framestep=2,tblend=average,framestep=2,setpts=0.25*PTS" -r srcfps -{encoding parameters} output


srcfps should be replaced with your input's framerate.