You could probably use ffmpeg for that. If you have access to a computer running Mac OS X, ffmpegX is fairly easy to use.
I don't know how well it works or if it has all the features you want, but you might also be able to use something like AVI DVD VCD SVCD MPEG Converter
If neither of those work for you, you can also search the Windows part of Versiontracker.
A forum community dedicated to tech experts and enthusiasts. Come join the discussion about articles, computer security, Mac, Microsoft, Linux, hardware, networking, gaming, reviews, accessories, and more!