How to clean blotchy high-iso sky?

To add to @paperdigits’s recommendation about sharpening, try using the deblur presets of the contrast equalizer module. I’ve generally found I can do some fairly aggressive sharpening with them without introducing too much additional noise.