I've read that Apple's AAC is essentially MP4. Is there a separate, non-proprietary MP4 codec?