I found the Real Magic MPEG4 codec and it generates DivX compatible files.

Is it a good alternative to DIVX (non pro) codec?