Hola que tal chusete. Existen varios programas para lo que tú quieres. Entre los más sencillos tienes el X-OOM DivX2DVD (te recomiendo éste) o el Cucusoft AVI to VCD DVD.
Un saludo y FELIZ NAVIDAD a todos