(2S)-N-Methoxycarbonylcarbonyl-2-[(3'-RS)-3'benzyl-3'benzyloxycarbonylprop-1'-enyl]pyrrolidine AIDS-092965 AIDS092965