(1R,3R)-6-Methyl-1,5-diphenyl-4,6-diaza-spiro[2.4]hept-4-en-7-one AIDS-082537 AIDS082537