Actually, to be honest, hue shifts are a bit tricky to correct. Not because there isn't an abundance of tools to deal with it, but because most of them have a tendency to break up image integrity by shifting one pixel, but not its neighbor. Either/or. The result is often ugly banding and unnaturally sharp transitions, as well as exaggerated noise and grain. Hue/saturation falls in this category, both in Photoshop (even if you extend the range fall-off considerably) and ACR/Lightroom. I try to avoid all of these if possible.
My preferred tool for this is Selective Color in Photoshop. It works differently and looks for color components rather than absolute colors, so it's not nearly as destructive. In this particular case I removed cyan from blue. Magenta is fine here, it's the blue component (which represents the IR contamination) that needs to be killed.
Selective Color usually works very well for this, and it's flexible in that you can either "push" or "pull" a particular component. And once you get used to how it works, it's fast and intuitive.