I don't really have a set system for rescuing shots like this - it's usually a case of suck it and see, but it's pretty simple stuff and there are numerous ways to go about it.
I normally start by increasing the gamma overall, then in this case I think I adjusted just the highlight slider, by which time it was looking a little light so I increased the contrast a little, too much though and it can start to look too over-saturated again. Finally sharpened a smidge - that's it!
All roads lead to Rome though and there are gazillions (well.. a lot anyway) of ways of achieving the same end. If something doesn't look right, just undo the last step and try something else or a bit less slider.