Aunque hace tiempo que no utlizo premiere, pero creo que como en todos los softs, directamente podras editar el 4k en una secuencia 1080, o un proyecto 1080, he incluso podras reencuadrar imagen, zooms, etc. hasta un %
Y exportar a 1080 h264
Y exportar a 1080 h264