AIDS-082531 AIDS082531 Acetic acid 3-((1R,3R)-5-benzylsulfanyl-7-oxo-6-thia-4-aza-spiro[2.4]hept-4-en-1-yl)-phenyl ester