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