11-Cyclopropyldipyrido[2,3-b:3',2'-f]azepine AIDS-070298 AIDS070298