Ethinyl-3α-androstanediol