17α-ethynyl-3β-androstanediol