A practical synthesis of an HIV protease inhibitor intermediate - diastereoselective epoxide formation from chiral α-aminoaldehydes