5,11-Dioxido-7,8,9,10-tetrahydro-6H-cyclohepta[b]quinoxaline-6,10-diyl dinitrate AIDS-130628 AIDS130628 NSC607531