An efficient route to the formal total synthesis of A-seco mevinic acid analogues