20α-Dihydrodydrogesterone