I slightly increased brightness and applied some Unsharp Mask (Amount 100%, Radius 42,8 pixels, Threshold 118 levels) which I faded back to 60% of the original amount.
Ciao,
Fulvio.
I used the midpoint of a curve to brighten the image. Then I played a bit with selective color correction and saturation to get a bit closer to the colors seen in your previous shot of that place, not quite succeeded though.