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