I do a bit of video compression on the Mac and mostly use Quicktime Pro. It allows you to export a video to all the major formats. You can tweek the screen size, frame rate, picture quality and audio quality. I haven't yet run into the need to use any other video compression software. If you need any help, feel free to contact me.