Have you tried using the fill light function of your RAW converter? What happens when you increase the exposure? If increasing the exposure makes it look a little washed out, you could increase the blacks to bring it back. I use Lightroom and those are things that I would try first. I think most RAW converters have the same sets of tools, in case you're using another program.
Anyway, the photo isn't a lost cause and would be worth the time to adjust. Nice one!