It's in the pro version. Open the mpeg in Quicktime and then choose Export from the file menu.

I converted about 200 of those last week, so I know it by heart! :cry: