In the very near future, you can use the new Dr. Divx. It's going to be Open Source, can handle just about any input format your computer can play, and output a Divx encoded avi.
According to the Divx forums, it should be released any day now. See
http://www.drdivx.com/