If you have QuickTime Pro, just go to File -> Export, then you can choose the size, bitrate, codec, etc.