5,11-Dihydro-11-ethyl-2-hydroxy-4-[2-(1,3-dioxanyl)]-6H-dipyrido[3,2-b:2',3'-e][1,4]diazepin-6-one AIDS-043176 AIDS043176 Dipyridodiazepin-6-one deriv.