1,5,6,-substituted-2-oxo-3-cyano-1,6a-diaza-tetrahydro-fluoranthenes as anti-inflective agents

HIV inhibitory compounds of formula: salts and stereoisomers thereof, wherein R1 and R2 are hydrogen or optionally substituted C1-10alkyl; R3 is n is 1, 2 or 3; R3a is nitro, cyano, amino, halo, hydroxy, C1-4alkyloxy, hydroxycarbonyl, aminocarbonyl, C 1-4alkyloxycarbonyl, mono- or di(C1-4alkyl)aminocarbonyl, C1-4alkylcarbonyl, methanimidamidyl, mono- or di(C1-4alkyl)methanimidamidyl, N-hydroxy-methanimidamidyl or Het; or R3 is a monocyclic or bicyclic aromatic heterocyclic ring system, wherein one, two, three or four ring members are nitrogen, oxygen and sulfur, and wherein the remaining ring members are carbon atoms; and wherein each of said heterocyclic ring systems may optionally be substituted; X is -NR7-, -O- or -S-; pharmaceutical compositions containing these compounds, methods for preparing these compounds and compositions.