With Quicktime Pro, use Quicktime Player. Export for example as AVI or
MPEG-4. When exporting as AVI, be sure to use a codec that will be
available on a Windows machine.