AIDS-096943 AIDS096943 [1(S)-Benzyl-2-oxo-2-((R)-3-oxo-2-phenylsulfanyl-pyrrolidin-1-yl)-ethyl]-carbamic acid, tert-butyl ester