Fraps justs generates an AVI file. So to get that onto a Mac you should encode it to a quicktime .mov file.(I think you know this already)
I would encode it on your PC using QT Pro using the before mentioned Animation codec. then transfer it to your Mac.
On a side note, isn’t there an avi codec available for the Macs? If not, that seems silly.