I have some dvd quality 720x480 mpeg video files. I need to re-encode them into 480xZZZ and also bring down the file size. What is a good freeware utility to do this?