Ethinyl-3β-androstanediol