For Windows, Tipard HD Video Converter may be downloaded for free. It is a standalone offline installer + portable that can convert any 4k and 1080p HD video to a variety of formats and video quality.