The magenta push is gone, but the lights are still somewhat red. This is mostly fixed by correcting the luminance of the shot, which I have done separately throughout the film:
http://screenshotcomparison.com/comparison/133233
The boosted reds are also brought down somewhat, and the purple tint to the entire picture is brought to a warmer, more natural hue.
I'm correcting this film shot by shot, as there is sadly little consistency to the color problems. When I get to this one, I'll be reducing the saturation for sure.