As mentioned earlier, use the 5 shot AEB and make a HDR pic.. Also since you are using Lightroom, I would raise my color noise slider to 30-35 and the luminance noise slider to 40-50. I also play around with the dehaze slider, usually somewhere in the 10-15 area.
I think your pictures like fine...