(1S,3R)-6-Methyl-1-phenyl-4,6-diaza-spiro[2.4]heptane-5,7-dione AIDS-082538 AIDS082538