Formal total synthesis of an A-seco mevinic acid