I reckon it could use some wavelet magic

the few I've experimented with, those that have "good" signal seem to respond well to the wavelets, those that don't seem to look just as good out of AS!2
From memory, this is of the order of (Gaussian) 60, 40, 40, 30, 40, 50 with denoise 0.1-0.15 and sharpen around 0.1 - top two 0.12 or so. However, it's very capture dependent...my camera seems to be quite noisy on above a certain gain value and I haven't been able to defeat the noise on my Saturn captures. Mars being brighter, doesn't seem too bad though. Your camera could be quite different, for example, compared to mine your image seems to have quite low noise for only 50 frames. I'm not sure what the technique is supposed to be but I just move the slider up until the enhancements look unrealistic and that back it off a bit. Then tweak the sharpen and denoise and see what happens.