If you have the patience to wait for it to encode, H.264 is probably the best output option. You can mess around with the export setting to get a bitrate that balances file size with quality.
If you have a slower Mac, try just generic MPEG-4. You'll sacrifice some quality but the export process will be much quicker.