Mira en vcdsp, que ahí hay tutoriales que lo explican bien, pero uno de ellos dice que lo único que te hace falta para pasar divx a vcd es el tmpgenc, o sea, que ni siquiera el virtualdub, como te comentaba antes.
Lo de las 12 h. pues dependerá del ordenador que tengas. Como ejemplo te diré que capturando una pelicula para pasar de vhs a vcd, con una capturadora, la pinacle dc 10+, tarda aproximadamente 2h., no llega, lo mismo pero en svcd, 4 h., lo mismo ripeando en vcd, 2h. y media, pero mucha mas calidad, siendo la baja, pero me pasa lo que te comentaba del sonido, y ripeando, en svcd, tambien en calidad baja, poco mas de 2h y media, pero te digo, el tmpgenc, no lo utilizo, lo utilicé al principio, pero no me gustó, muy raro para mi, pero ese es el que utiliza la gente, mayoritariamente. Hay otro que es el Flaskmpg, pero no se si te servirá, a ver si alguien lo corrobora.