AIDS-051855 AIDS051855 N-(2,9,14,15-tetraaza-2-ethyl-10-oxo-9-propyltricyclo[9.4.0.0<3,8