11-Cyclopropyl-5,11-dihydro-4-[(2-hydroxyphenyl)methyl]-6H-dipyrido[3,2-b:2',3'-e][1,4]diazepin-6-one AIDS-043158 AIDS043158 Dipyridodiazepin-6-one deriv.