I would say if you're doing one format, make it WMV. If you're doing two, go with WMV and Quicktime.

Real is fading fast, and the percentage of people who have RealPlayer installed on their machines isn't nearly as high (last I checked) as those who have Quicktime and/or Windows Media player.