I have used all the ones already mentioned, some give better results than others but for quickly batch converting files to just about any other format plus giving you some options for changing frame sizes, bit rate and etc.
I have found a good little free app called Any Video Converter

http://www.any-video-converter.com/products/for_video_free/