20α-Dihydrotrengestone