(3S)- and (3R)-3-(N-Benzyloxycarbonyl)amino-2-keto-4-phenylbutyryl-[2'(S)-(tert-butylamido-4'(R)-methoxy]pyrrolidine AIDS-070300 AIDS070300