Another option I use when incorporating 4K XAVC-s footage is to export the camera files in Edit Ready to a 4K .mov file, then link via AMA in MC so that, in an HD timeline, you can resize the 4K image to your liking in MC, then Transcode that timeline.