17α-Ethynyl-3β-androstanediol