(1R,3R)-1-Isopropyl-6-methyl-5-methylsulfanyl-4,6-diaza-spiro[2.4]hept-4-en-7-one AIDS-082540 AIDS082540