Welcome to Photoshop Gurus forum. Register a free account today to become a member! It's completely free. Once signed in, you'll enjoy an ad-free experience and be able to participate on this site by adding your own topics and posts, as well as connect with other members through your own private inbox!
Simplest method would be to grab the square marquee tool and draw a box around the red patch add a hue saturation adjustment layer, select red channel rather than master and move the lightness up a bit and the saturation down, you may have to then sample some colors around it to patch up the sky etc.