I tried Handbrake, and yes it does the job, possibly a nicer interface than the AVC converter I linked in #14.
But I guess the question I'm asking is why is it necessary to use something to process and recode the whole file before it can be used?
Even an old program like Media Player Classic...