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