17α-ヒドロキシプロゲステロン誘導体