11,23-Difluoro-1,9,13,21-tetraazatricyclo[19.3.1.1~9,13~]hexacosa-11,22-diene-10,24,25,26-tetrone AIDS-145142 AIDS145142 NSC669471