(1R,3R)-5-Methylsulfanyl-1-phenyl-4,6-diaza-spiro[2.4]hept-4-en-7-one AIDS-082539 AIDS082539