9α-Bromo-11-ketoprogesterone