Application of (+)-(1S,2S)-2-amino-1-phenylpropan-1,3-diol in the formal total synthesis of carbapenems, novel 4-cyano-β-lactams and β-hydroxy aspartates