17α-Ethinyl-5α-estrane-3β,17β-diol