Flash to Divx

[Three Trees]

I wasnt really sure to which forum should this thread be posted, so feel free to move it.

I want to export my flash movies to encoded divx avi file, but flash (or just my flash) doesnt have that compression feature. helping me figuering it out would be very helpful!
thanks!