The program I use is Sony Vegas, but thats not something you can download. Anything that can edit video should work, not all of them can render it to MP3, but you can get audio from it later anyway.
If you rip the audio first, that might be easier. Put it into an audio-mixing program of some sort.