This time I used "short" rather than "long" development in BW Styler and selected the sky for noise reduction with Noise Ninja (although it didn't look anywhere near as noisy as that on the previous image), then reversed the selection and sharpened the rest of the picture.