Remote diastereoselection in the asymmetric total synthesis of mevinolin