Does the RED have to shoot 4096x2160? I should rather say does the final edit have to be 4096x2160? You could use the 4096 RED footage in a UHD timeline and then everything would match perfectly with only a tiny amount getting cropped on the sides of the RED footage.
In many forms of design it is sometimes better to factor everything towards the lowest common denominator instead of trying to force everything else up.