A maneira mais lenta e deselegante é a única maneira genérica em que posso pensar: transcodificação.
Você pode experimentar com o FFmpeg:
ffmpeg -i <4K-FILE> -vf scale=-1:1080 -c:v libx264 -intra -crf 20 -pix_fmt yuv420p -preset veryfast -c:a copy myfile.mkv
Isso, em teoria, deve ser bastante rápido, pois copia o fluxo de áudio e não faz muito no sentido de compressão. Observe que x265
tende a ser mais rápido com conteúdos maiores (acima de 720p) do que x264
, embora eu não tenha certeza se seu hardware consegue acompanhar isso.
Os arquivos, no entanto, serão grandes. Pode ser que, com essas configurações, você obtenha arquivos maiores que os arquivos originais.
Portanto, você pode tentar aumentar o -crf
-value, que piorará a qualidade, mas diminuirá a taxa de bits, usando outro preset
que custará tempo, mas aumentará a compactação (embora possa haver um ponto ideal na compactação fps), ou, se isso for uma opção para você, você pode diminuir ainda mais a resolução do arquivo de saída e a conversão, por exemplo para 720p.