The bromoquinone annulation reaction: a formal total synthesis of EO9