5,7-Diazaspiro[2.5]octane-4,6,8-trione 6947-77-9 AIDS-124912 AIDS124912 NSC56148