flash to (formats)

I have some flash animations that need to be formatted to 2 video formats (Mpeg-2 ) and ( HD DIVX ).

Can any one tell me the best way to do this using MAC OSX software?


cheers
Rat