They need to be encoded into the H.264 format which I know can be done using Quick Time Pro, however I think that the Divx format may also work, but am not sure.
Quick Time Pro is not the best program as the encoding times are long however I do not know if there is another program that does it out there.