No one is mentioning an easier solution to fixing this shot. (Assuming it's a shot worth having. It does look pretty ugly in the BG.) Choose a better time of day to shoot it. Find something better to shoot for a few hours and come back to this shot at magic hour. You could light it with a Kino Flo though some diffusion and it would look great. Plan your shoot to maximize what you have.
Facts that I actually find interesting.....
1. Most of the films shot with Alexa captured onto Codex in ARRIRAW. (14.2GB/sec vs 1.9GB/sec)
2. All but one film, whether shot on film or with an Alexa, mastered in 2K, not 4K.
Firstly, nice to see the DP's name is now attached to this. I'm still a little disappointed that so little credit is given to him. I'm sure that Mr. Baron planned a lot of the final look of the film when he lit and shot it. Even though digital cameras shoot in RAW or Log for the maximum dynamic range, there are tools that are used on set to get an idea of the final look that you're after as you go. The simplest is Rec 709, which converts the image for monitoring purposes to a standard TV colour space. You can also set up any number of LUTs (look up tables) to assist in different sequences. For example, a night exterior look, a night interior look, a fire light look, a dream sequence look. These are called up during shooting to help with lighting continuity and ratios. Colourists are an amazingly talented group, and are great collaborators for directors of photography.