Virtual Dub (freeware) can convert between a number of audio/video formats as well as take a bunch of sequentially numbered images and turn them into a movie. It should be exactly what you're looking for.


Edit: I see I should read all the replies first, rather than skimming them. Still, VD is good enough to be worth mentioning twice.