17α-ethynyl-5-androstenediol