https://support.apple.com/en-gu/guide/quicktime-player/qtp20e395859/mac
Export movies to other file formats and resolutions using QuickTime Player on Mac - Apple Support...
Export a movie from QuickTime Player on Mac to save it with a specific resolution or file format.
export moviesfile formatsquicktime playermac appleresolutions