A Formal Synthesis of Betamethasone