Pues como convertidores de video no se cual se utiliza.
Pero si creas un video como por ejemplo en AfterEffects.
El formato a grabar lo pones en Quick Time y en opciones de formato escojes CODEC DXV (debes tener instalado el codec)
http://www.facebook.com/AVMarketing
