(3S)- and (3R)-3-(N-Benzyloxycarbonyl)amino-2-keto-4-phenylbutyryl-[2'(S)-(tert-butylamido-4'(R)-benzyloxy]pyrrolidine AIDS-071333 AIDS071333