puedes usar este programa esta buenisimo, tiene para pasarlo a diferentes formatos y de diferentes formatos a vcd, y svcd que es lo que tu necesitas
o tambien puedes usar el divx create ese lo pasa directamente a avi. aqui te dejo los link de la pagina del autor
http://www.winavi.com/ http://www.divx.com/
si necesitas algo mas me contactas por el mensaje privado