Hello, I have a few HDTV recording that I want to convert to SD quality to AVI/MP4 format.
The recording have the following codec (H264, MPEG-4, AVC (part-10), (h264)), resolution 1440x1080, frame rate 50.
I would like to have a file with codec MPEG-4 video (DIVX) (preferred)
or H264 - mpeg-4 AVC (part-10), avc1, resolution, 720x540, frame rate 23.97 or similar.

I am new to video conversion so forgive me if the above does not make sense.
I am running Mac OS X, but can run Linux for conversion, but not Windows.

Any suggestions?