I would start by making a mask of the sky, which is easy since there's nice clear separation. I would fix the sky by adding gradients set to Darker Color, working top to bottom. I would then add a Levels adjustment, masking out the sky, and then adding the edges where the reflection is with a black-to-white gradient set to multiply mode, and adjust the mid tones so they match. The right edge of the reflection is a little brighter that the rest, so you could either try finessing the mask, or add another adjustment, which would probably be easier. Finally, I would add a curves adjustment layer, to punch up the contrast in the three-quarter tones. Quick try (Mask still needs work):
... View more