Converting wav and mp4 to divx avi

[stewardess.livejournal.com]

Maybe it's just me. I've tried EO Video, Divx Converter, WinMPG, and something else I've forgotten, and I cannot successfully convert .wmv or mp4 files to a divx supported avi file.

EO Video is prohibiting me from doing any conversion until I've paid for the trial product. I paid for WinMPG and and Divx Converter, and neither worked, so I'm reluctant to pay for a third converter that doesn't work [note: Divx Converter might handle wmv; it definitely can't handle mp4.]

I'm running Windows XP. My goal it to take an assortment of video files and convert them so they are divx avi files. Most of the files have the extension avi, but some do not appear to be divx-encoded avi.

All of the files can be opened and viewed with the VLC player, so I know they are valid files of some type, so presumably they can be converted.

Any suggestions for a conversion program that works, and is cheap?

Note: The files I converted through WinMPG could not be read by either the VLC Player or the Divx Player. Divx Converter keeps crashing -- it seems it's the wmv files that cause it; it doesn't recognize mp4 as a valid type.

EDIT: I took nbgeekgirl's advice and downloaded Super. Couldn't download it with Firefox, but I was able to with MSIE. Result: Super is awesome. It converted the mp4 and wmv files superfast, and I also used it to add divx encoding to the avi files my Divx player couldn't handle. The GUI is a joy to use, with everything clearly labeled instead of a bunch of coy meaningless buttons. It works so much better than Divx Converter [which I just bought] that I'm kind of stunned.

Like nbgeekgirl, my converted files showed up somewhere peculiar, in my case the root directory. Just search for the buggers and you'll find them.