Highly diastereoselective alkylations of chiral amide enolates: new routes to hydroxyethylene dipeptide isostere inhibitors of HIV-1 protease | Synapse