(20S)-3,6-(dioxolan-2-yl)-5α-pregnane-20-carboxylic acid