17α-ethinyl-5-androstenediol