AIDS-070302 AIDS070302 N-[1-Phenyl-2(S)-[(benzyloxycarbonyl)amino]-3(R)-hydroxybutan-4-[2'(R),5'(R)-bis(methoxymethyl)]pyrrolidine