7,14-Diazadispiro[5.1.5.2]pentadecan-15-one AIDS-067233 AIDS067233 NSC643429