Any chance of extracting audio that is actually AIFF?

It's a simple as that really! Video in 4k often has very high audio quality so it would be good to extract that.