17a-Hydroxypregn-5-ene-3,20-dione-3,20-bis(ethyleneketal)