A highly convergent total synthesis of (+)-compactin