AIDS-051856 AIDS051856 N-(2,9,14,15-tetraaza-2-cyclopropyl-9-methyl-10-oxotricyclo[9.4.0.0<3,8