yeah, last time I played with video was circa 2002 and earlier versions of Premiere. Since then I went to a mac as well...
anyway, x264 is an mpeg4 variant (similar to h264). You'll need an encoder or plugin specifically for it, but currently the 264 series (either x or h) are your best bets for picture quality to file size ratio.