(1R,3R)-5-Benzylsulfanyl-1-phenyl-6-thia-4-aza-spiro[2.4]hept-4-en-7-one AIDS-082533 AIDS082533