>>4453810
Basically you always want to expose for shadows, or the darkest thing that is important. Push/pull processing is not really feasible on a medium format roll with 12 other shots, but if it was a single sheet or the most important shot in the whole roll you could have pulled the film to reduce highlight density.

Film has a very high latitude, so detail would have probably been preserved in the sky, but may not have scanned easily. With a little extra work youd definitely be able to make a print out of the picture.

I did not pull process this shot, but I added a lot of extra time to burn in the details in the sky.