Did you shoot these RAW, or JPEG straight out of the camera? If they were JPEG I think you would have quite a bit of trouble saving them, the exposure is rather on the high side. If you shot them as RAW's then that is much better, since there will be a lot more data to work with. In fact these could be very close to spot on exposure wise for images that have been Exposed To The Right as long as you recorde RAW.
If you did shoot RAW you would need to share the original files with us. You can't post CR2 files to the forum, so what most people do is upload them to a site like Dropbox, and then share the download links here.
As an example of shooting and processing ETTR this is the out of camera shot, with a default conversion from DPP
please log in to view hosted photos in full size.
And this is after processing the image in Lr4, which is the version I was still using at the time.IMAGE LINK: https://flic.kr/p/FvjwSR Hawker Demon
by Alan Evans
, on Flickr
As you can see there is a lot you can do with a good RAW processing engine, although I have to say that unfortunately when it comes to dealing with highlights, and thus ETTR, DPP is not a very good converter at all.