3,12-Diazabicyclo[12.3.1]octadeca-1(18),14,16-triene-2,13-dione 40430-00-0 AIDS-127042 AIDS127042 NSC138480