Hola
Si el reproductor es de los que leen DivX o MPEG-4, con grabarla en el CD bastaría... Pero si es uno normal que no soporta eso, entonces tienes que hacer una conversión a un formato MPG. Como es un tema algo largo, esto te servirá para guiarte:
www.mundodivx.com/mpeg/tmpgenc.php