OK, I think I went in circles a bit. I'm not so good with color casts I think, and since Maderito said "curves only" that really threw me for a loop.
I didn't like some of the red, so I wanted to bring it down a bit. Curves, Red channel, 71, 65 ; 131, 124 ; 255, 248
That brought out some greens of course, so Curves, Green channel, 255, 248
Now I went to lift out the darkness: Curves, RGB, 47, 84 ; 126, 148 ; 208, 205
Well of course that brought out the blues, so Curves, Blue channel, 15, 0
Finally, my sharpening was USM at Amount 134%, Radius 0.3, Threshold 0
And save for web. Having such a small JPG as a starting point really stinks! Way too many anomalies for my eyes. So I went with Quality 80, but also added Blur 0.28 to reduce some blockiness, but this also destroyed a bit of my sharpening.
The final result - I didn't dare go much further as things started looking bad:

Comments appreciated. The colors threw me, probably unecessarily. But if this was a concert stage I might have been seeing colored spots - or I may have subconsciously been seeing them.
Curves only. Ugh. I would have liked to attacked this using a PS 7-compatible selective shadow recovery.