you don't need the pro version of quicktime to export.
Use media pipe, It takes a little fiddling to figure out, but it's not complicated.
It's a pipeline builder to convert all sorts of AV into all sorts of other AV:
quicktime, mpeg 1 & 2, aac, ac3, mp3, mp2, mux, demux, ect.