Marvelous example of high dynamic range. To make the most of it I had to work with 3 separate ACR conversions (highlights, midtones and shadows) and merge them in PSE with luminosity masks. We know that ACR is not bad at recovering highlights, but then, the colors are off. Here with exposure at -4, the clouds were visible, but grey. I added cyan back with a cooling filter. Additionally there was some purple fringing/chromatic aberrations which I reduced by using an inverted edge mask and desaturation. The level of details is impressive.
Full res:
http://www.prestophoto.com/photos/image/1289811/34004
Full res:
http://www.prestophoto.com/photos/image/1289811/34004