AVI is a wrapper, h264 is a codec
If you are happy with the compression then an H264 in an MP4 wrapper should play nice with a PC ... failing that then why not keep it as a native ProRes QuickTime Movie? If the PC has a current copy of QuickTime then that ought to play a 720p ProRes movie just fine too (assuming its not some old relic of a machine).