Bueno, el Adobe
Encore es uno, para hacer autorías... El que digo es el Adobe Media
Encoder, que viene dentro del Premiere y que sirve para exportar en el formato que elijas entre los tantos que te da a elegir, y configurándolos de manera que te queden archivos muy pequeños.