5,11-Dihydro-11-ethyl-5-methyl-2-(3-thienyl)-6H-dipyrido[3,2-b:2',3'-e][1,4]diazepin-6-one AIDS-033585 AIDS033585 Dipyridodiazepinone deriv.