Quicktime to AVI?

Hi:

I've completed a three minute After Effects project, rendered at 720x540, 30fps with the animation codec. The client wants three versions delivered: an h.264 Quicktime, a wmv, and an AVI; I don't believe this will ever be used for NTSC. I'm working on a Mac Pro.

I used Quicktime Pro to export the h.264 Quicktime and the Flip 4 Mac Pro exporter to create the wmv, but my AVI export choices seem pretty limited in the Mac Quicktime player. If I export an AVI using "None" compression the file is 5 GB; they want something around 60MB. The Cinepak codec is ancient and crappy. The other codecs are various flavors of DV. I imagine these videos will be viewed predominately on Windows machines, and I don't know if DVCPro50 is a standard codec on that platform.

I could run Windows XP under Boot Camp and use some video conversion software on that side. My hope is that there'd be better codecs available for AVIs. I know DivX works well, but I'd like to use something that's standard to Windows if possible.

Any suggestions as to what codec to use?

Any suggestions as to what conversion software works well?

Thanks.

Shawn Marshall
Marshall Arts Motion Graphics