(1R,3R)-5-Benzylsulfanyl-1-p-tolyl-6-thia-4-aza-spiro[2.4]hept-4-en-7-one AIDS-082534 AIDS082534