Inhibitors of HIV replication

1. A compound of the formula (I):

wherein

R 1 is (C 1-6 )alkyl, (C 2-6 )alkenyl, (C 2-6 )alkynyl, (C 3-7 )cycloalkyl, (C 3-7 )cycloalkyl-(C 1-6 )alkyl, -aryl, aryl-(C 1-6 )alkyl-, Het or Het-(C 1-6 )alkyl-,

wherein each of the (C 1-6 )alkyl, (C 2-6 )alkenyl, (C 2-6 )alkynyl, (C 3-7 )cycloalkyl, (C 3-7 )cycloalkyl-(C 1-6 )alkyl-, aryl, aryl-(C 1-6 )alkyl-, Het and Het-(C 1-6 )alkyl- is optionally substituted with 1 to 3 substituents each independently selected from R 11 , halo, oxo, —CN, —NO 2 , —OR 11 , —N(R 12 )R 11 , —C(═O)OR 11 , —C(═O)N(R 12 )R 11 , —C(═O)N(R 12 )—SO 2 R 11 ,—N(R 12 )—C(═O)R 12 )—C(═O)OR 11, —N(R 12 )—C(═O)N(R 12 )R 11 , —N(R 12 )—SO 2 R 11 , —SR 11 , —SOR 11 ,—SO 2 R 11 and —SO 2 N(R 12 )R 11 ;

R 2 is R 21 , —OR 21 , —N(R 12 )R 21 , —C(═O)R 21 , —C(═O)OR 21 , —C(═O)N(R 12 )R 21 , —C(═O)N(R 12 )—SO 2 R 21 , —N(R 12 )—C(═O)OR 21 , —N(R 12 )—C(═O)N(R 12 )—SO 2 R 21 , —SR 21 ,—SOR 21 or —SO 2 N(R 12 )R 21 ;

wherein R 21 is H, (C 1-6 )alkyl, (C 2-6 )alkenyl, (C 2-6 )alkynyl, (C 3-7 )cycloalkyl, (C 3-7 )cycloalkyl-(C 1-6 )alkyl-, aryl, aryl-(C 1-6 )alkyl-, Het or Het-(C 1-6 )alkyl-;

wherein each of the (C 1-6 )alkyl, (C 2-6 )alkenyl, (C 2-6 )alkynyl, (C 3-7 )cycloalkyl, (C 3-7 )cycloalkyl-(C 1-6 )alkyl-, aryl, aryl-(C 1-6 )alkyl-, Het and Het-(C 1-6 )alkyl- is optionally substituted with 1 to 3 substituents each independently selected from R 11 , halo, oxo, —CN, —NO 2 , —OR 11 , —N(R 12 )R 11 , —C(═O)R 11 , —C(═O)OR 11 , —C(═O)N(R 12 )R 11 , —C(═O)N(R 12 )—SO 2 R 11 , —N(R 12 )—C(═O)R 11 , —N(R 12 )—C(═O)—(C 1-3 )alkyl-N(R 12 )R 11 , —N( 12 )—C(═O)OR 11 , —N(R 12 )—C(═O)N(R 12 )R 11 , —N(R 12 )—SO 2 R 11 , —SR 11 , —SOR 11 , —SO 2 R 11 and —SO 2 N(R 12 )R 11 ;

or wherein each of the (C 1-6 )alkyl, (C 2-6 )alkenyl, (C 2-6 )alkynyl, (C 3-7 )cycloalkyl, (C 3-7 )cycloalkyl-(C 1-6 )alkyl-, aryl, aryl-(C 1-6 )alkyl-, Het and Het-(C 1-6 )alkyl- is substituted with (C 1-6 )alkyl or Het, wherein each of the (C 1-6 )alkyl and Het is substituted with with 1 to 3 substituents each independently selected from R 11 , halo, oxo, —CN, —NO 2 , —OR 11 , —N(R 12 )R 11 , —N((C 1-6 )alkyl) 2 R 11 ) + , —C(═O)R 11 , —C(═O)OR 11 , —C(═O)N(R 12 )R 11 , —C(═O)N(R 12 )—SO 2 R 11 , —N(R 12 )—C(═O)R 11 , —N(R 12 )—C(═O)—(C 1-3 )alkyl—N(R 12 )R 11 , —N(R 12 )—C(═O)OR 11 , —N(R 12 )—C(═O)N(R 12 )R 11 , —N(R 12 )—SO 2 R 11 , —SR 11 , —SOR 11 , —SO 2 R 11 and —SO 2 N(R 12 )R 11 ;

A 1 , A 2 , A 3 and A 4 are each independently selected from N and CR 3 , wherein R 3 is independently in each instance selected from H and R 33 , wherein R 33 is independently in each instance selected from R 32 , halo, —CN, —NO 2 , —OR 31 , —N(R 12 )R 31 , —C(═O)R 31 , —C(═O)OR 31 , —C(═O)N(R 12 )R 31 , —C(═O)N(R 12 )—SO 2 R 31 , —N(R 12 )—C(═O)R 31 , —N(R 12 )—C(═O)OR 31 , —N(R 12 )—C(═O)N(R 12 )R 31 , —N(R 12 )—SO 2 R 31 , —SR 31 , —SOR 31 , —SO 2 R 31 and —SO 2 N(R 12 )R 31 ;

wherein R 31 is independently in each instance selected from H and R 32 , and R 32 is independently in each instance selected from (C 1-6 )alkyl, (C 2-6 )alkenyl, (C 2-6 )alkynyl, (C 3-7 )cycloalkyl, (C 3-7 )cycloalkyl-(C 1-6 )alkyl-, aryl, aryl-(C 1-6 )alkyl-, Het and Het-(C 1-6 )alkyl-, wherein each of the (C 1-6 )alkyl, (C 2-6 )alkenyl, (C 2-6 )alkynyl, (C 3-7 )cycloalkyl, (C 3-7 )cycloalkyl-(C 1-6 )alkyl-, aryl, aryl-(C 1-6 )alkyl-, Het and Het-(C 1-6 )alkyl- is optionally substituted with 1 to 3 substituents each independently selected from R 11 , halo, oxo, —CN, —NO 2 , —OR 11 , —N(R 12 )R 11 , -C(═O_R 11 , —C(═O)OR 11 , —C(═O)N(R 11 , —C(═O)N(R 12 )—SO 2 R 11 , —C(═NH)N(R 12 )R 11 , —N(R 12 )—C(═O)R 11 , —N(R 12 )—C(═O)OR 11 , —N(R 12 )—C(═O)N(R12)R11, —N(R 12 )—SO 2 R11, —SR 11 , —SOR 11 , —SO 2 R 11 , and —SO 2 N(R 12 )R 11 ;

or wherein each of the (C 1-6 )alkyl, (C 2-6 )alkenyl, (C 2-6 )alkynyl, (C 3-7 )cycloalkyl, (C 3-7 )cycloalkyl-(C 1-6 )alkyl-, aryl, aryl-(C 1-6 )alkyl-, Het and Het-(C 1-6 )alkyl- is substituted with (C 1-6 )alkyl or Het, wherein each of the (C 1-6 )alkyl and Het is substituted with 1 to 3 substituents each independently selected from R 11 , halo, oxo, —CN, —NO 2 , —OR 11 , —(R 12 )R 11 , —C(═O)OR 11 , —C(═O)N(R 12 )R 11 , —C(═O)N(R 12 )—SO 2 R 11 , —N(R 12 )—C(═O)R 11 , —N(R 12 )—C(═O)OR 11 , —N(R 12 )—C(═O)N(R 12 )R 11 , —N(R 12 )—C(═O)—(C 1-3 )alkyl-N(R12)R11, —N(R 12 )—SO 2 R 11 , —SR 11 , —SOR 11 , —SO 2 R 11 and —SO 2 N(R 12 )R 11 ;

X is O

Y is C═O or SO 2 ;

R 11 is independently in each instance selected from H, (C 1-6 )alkyl, (C 1-6 )haloalkyl, (C 2-6 )alkenyl, (C 2-6 )alkynyl, (C 3-7 )cycloalkyl, (C 3-7 )cycloalkyl-(C 1-6 )alkyl- 5 aryl, aryl-(C 1-6 )alkyl-, Het and Het-(C 1-6 )alkyl-, wherein each of the (C 1-6 )alkyl, (C 2-6 )alkenyl, (C 2-6 )alkynyl, (C 3-7 )cycloalkyl, (C 3-7 )cycloalkyl-(C 1-6 )alkyl-, aryl, aryl-(C 1-6 )alkyl-, Het and Het-(C 1-6 )alkyl- are optionally substituted with 1 to 3 substituents each independently selected from (C 1-6 )alkyl, halo, oxo, —CN, —NO 2 , —OH, —O(C 1-6 )alkyl, —NH 2 , —NH(C 1-6 )alkyl, —N((C 1-6 )alkyl) 2 , —C(═O)—(C 1-6 )alkyl, —COOH, —COO(C 1-6 )alkyl, —C(═O)NH 2 , —C(═O)NH(C 1-6 )alkyl, —C(═O)N((C 1-6 )alkyl) 2 , —SH, —S(C 1-6 )alkyl, —SO(C 1-6 )alkyl, —SO 2 (C 1-6 )alkyl, —SO 2 NH 2 , —SO 2 NH(C 1-6 )alkyl, —SO 2 N((C 1-6 )alkyl) 2 , —NHC(═O)—(C 1-6 )alkyl, —N((C 1-6 )alkyl)C(═O)—(C 1-6 )alkyl, —NHSO 2 —(C 1-6 )alkyl and —N((C 1-6 )alkyl)SO 2 —(C 1-6 )alkyl; and

R 12 is independently in each instance selected from R 11 , —OH, —O(C 1-6 )alkyl, —NH 2 —NH(C 1-6 )alkyl and —N((C 1-6 )alkyl) 2 ;

wherein Het is a 4- to 7-membered saturated, unsaturated or aromatic heterocycle having 1 to 4 heteroatoms each independently selected from O, N, and S or a 7- to 14-membered saturated, unsaturated or aromatic heteropolycycle having wherever possible 1 to 5 heteroatoms, each independently selected from O, N and S; wherein each N heteroatom may, independently and where possible, exist in an oxidized state such that it is further bonded to an oxygen atom to form an N-oxide group and wherein each S heteroatom may, independently and where possible, exist in an oxidized state such that it is further bonded to one or two oxygen atoms to form the groups SO or SO 2 ;

or a salt thereof

2. A compound according to claim 1 , wherein R 1 is (C 1-6 )alkyl, (C 2-6 )alkenyl, aryl, Het or Het-(C 1-6 )alkyl-, wherein Het and the Het portion of Het-(C 1-6 )alkyl- are each independently selected from a 5- or 6-membered saturated, unsaturated or aromatic heterocycle having 1 to 3 heteroatoms each independently selected from O, N and S, or an 8- or 9-membered saturated, unsaturated or aromatic heteropolycycle having 1 or 2 N heteroatoms and

wherein each of the (C 1-6 )alkyl, (C 2-6 )alkenyl, aryl, Het and Het-(C 1-6 )alkyl- is optionally substituted with 1 to 3 substituents each independently selected from R 11 , halo, —CN, —NO 2 , —OR 11 , —N(R 12 )R 11 , —C(═O)N)R 12 )R 11 , —N(R 12 )—C(═O)R 11 and —N(R 12 )—C(═O)OR 11 ;

wherein R 11 and R 12 are each independently in each instance selected from H, (C 1-6 )alkyl 5 (C 1-6 )haloalkyl, (C 2-6 )alkynyl, (C 3-7 )cycloalkyl-(C 1-6 )alkyl-, aryl-(C 1-6 )alkyl-, Het and Het-(C 1-6 )alkyl-, wherein Het and the Het portion of Het-(C 1-6 )alkyl- are each independently selected from a 5- or 6-membered saturated, unsaturated or aromatic heterocycle having 1 or 2 heteroatoms each independently selected from O and N, and wherein each of the (C 1-6 )alkyl, (C 2-6 )alkynyl, (C 3-7 )cycloalkyl-(C 1-6 )alkyl-, aryl-(C 1-6 )alkyl-, Het and Het-(C 1-6 )alkyl- are optionally substituted with 1 to 3 substituents each independently selected from (C 1-6 )alkyl, halo, —CN, —OH, —O(C 1-6 )alkyl and —N((C 1-6 )alkyl) 2 .

3. A compound according to claim 1 , wherein R 1 is (C 1-6 )alkyl, (C 2-6 )alkenyl, aryl, Het or Het-(C 1-6 )alkyl-, wherein Het and the Het portion of Het-(C 1-6 )alkyl- are each independently selected from

and wherein each of the (C 1-6 )alkyl, (C 2-6 )alkenyl, aryl, Het and Het-(C 1-6 )alkyl- is optionally substituted with 1 to 3 substituents each independently selected from R 11 , halo, —CN, —NO 2 , —OR″, —N(R 12 )R 11 , —C(═O)R 11 , —C(═O)OR 11 , —C(═O)N(R 12 )R 11 , —N(R 12 )—C(═O)R 11 and —N(R 12 )—C(═O)OR 11 ;

wherein R 11 is independently in each instance selected from H, (C 1-6 )alkyl, (C 1-6 )haloalkyl, (C 2-6 )alkynyl, (C 3-7 )cycloalkyl-(C 1-6 )alkyl-, aryl-(C 1-6 )alkyl-, Het and Het-(C 1-6 )alkyl-, wherein Het and the Het portion of Het-(C 1-6 )alkyl- are each independently selected from

and wherein each of the (C 1-6 )alkyl, (C 2-6 )alkynyl, (C 3-7 )cycloalkyl-(C 1-6 )alkyl-, aryl-(C 1-6 )alkyl-, Het and Het-(C 1-6 )alkyl- are optionally substituted with 1 to 3 substituents each independently selected from (C 1-6 )alkyl, halo, —CN, —OH, O(C 1-6 )alkyl and —N((C 1-6 )alkyl) 2 ; and

R 12 is independently in each instance selected from H and (C 1-6 )alkyl.

4. A compound according to claim 1 , wherein R 2 is aryl or Het;

wherein each of the aryl and Het is optionally substituted with 1 to 3 substituents each independently selected from R 11 , halo, oxo, —CN, —NO 2 , —OR 11 , —N(R 12 )R 11 , —C(═O)R 11 , —C(═O)OR 11 , —C(═O)N(R 12 )R 11 , —C(═O )N(R 12 )—SO 2 R 11 , —N(R 12 )—C(═O)R 11 , —N(R 12 )—C(═O)—(C 1-3 )alkyl-N(R 12 )R 11 , —N(R 12 )—C(═O)OR 11 , —N(R 12 )—C(═O)N(R 12 )R 11 , —N(R 12 )—SO 2 R 11 , —SR 11 , —SOR 11 , —SO 2 R 11 and —SO 2 N(R 12 )R 11 ;

or wherein each of the aryl and Het is substituted with (C 1-6 )alkyl or Het, wherein each of the (C 1-6 )alkyl and Het is substituted with with 1 to 3 substituents each independently selected from R 11 , halo, oxo, —CN, —NO 2 , —OR″, —N(R 12 )R 11 , —(N((C 1-6 )alkyl) 2 R 11 ) + , —C(═O)R 11 , —C(═O)OR 11 , —C(═O)N(R 12 )R 11 , —C(═O)N(R 12 )—SO 2 R 11 , —N(R 12 )—C(═O)R 11 , —N(R 12 )—C(═O)—(C 1-3 )alkyl-N(R 12 )R 11 , —N(R 12 )—C(═O)OR 11 , —N(R12)—C(═O)N(R12)R11, —N(R 12 )—SO 2 R 11 ,  SR 11 , —SOR 11 , —SO 2 R 11 and —SO 2 N(R 12 )R 11 ;

R 11 is independently in each instance selected from H, (C 1-6 )alkyl, (C 1-6 )haloalkyl, (C 2-6 )alkenyl, (C 2-6 )alkynyl, (C 3-7 )cycloalkyl, (C 3-7 )cycloalkyl-(C 1-6 )alkyl-, aryl, aryl-(C 1-6 )alkyl-, Het and Het-(C 1-6 )alkyl-, wherein each of the (C 1-6 )alkyl, (C 2-6 )alkenyl, (C 2-6 )alkynyl, (C 3-7 )cycloalkyl, (C 3-7 )cycloalkyl-(C 1-6 )alkyl-, aryl, aryl-(C 1-6 )alkyl-, Het and Het-(C 1-6 )alkyl- are optionally substituted with 1 to 3 substituents each independently selected from (C 1-6 )alkyl, halo, oxo, —CN, —NO 2 , —OH, O(C 1-6 )alkyl, —NH 2 , —NH(C 1-6 )alkyl, —N((C 1-6 )alkyl) 2 , —C(═O)—(C 1-6 )alkyl, —COOH, —COO(C l-6 )alkyl, —C(═O)NH 2 , —C(═O)NH(C 1-6 )alkyl, —C(═O)N((C 1-6 )alkyl) 2 , —SH, —S(C 1-6 )alkyl, —SO(C 1-6 )alkyl, —SO 2 (C 1-6 )alkyl, —SO 2 NH 2 , SO 2 NH(C 1-6 )alkyl, —SO 2 N((C 1-6 )alkyl) 2 , —NHC(═O)—(C 1-6 )alkyl, —N((C 1-6 )alkyl)C(═O)—(C 1-6 )alkyl, —NHSO 2 —(C 1-6 )alkyl and —N((C 1-6 )alkyl)SO 2 —(C 1-6 )alkyl; and

R 12 is independently in each instance selected from R 11 , —OH, —O(C 1-6 )alkyl, —NH 2 , —NH(C 1-6 )alkyl and —N((C 1-6 )alkyl) 2 ;

wherein Het is a 4- to 7-membered saturated, unsaturated or aromatic heterocycle having 1 to 4 heteroatoms each independently selected from O, N and S, or a 7- to 14-membered saturated, unsaturated or aromatic heteropolycycle having wherever possible 1 to 5 heteroatoms, each independently selected from O, N and S; wherein each N heteroatom may, independently and where possible, exist in an oxidized state such that it is further bonded to an oxygen atom to form an N-oxide group and wherein each S heteroatom may, independently and where possible, exist in an oxidized state such that it is further bonded to one or two oxygen atoms to form the groups SO or —SO 2

5. A compound according to claim 1 , wherein R 2 is aryl optionally substituted with 1 or 2 substituents each independently selected from R 11 , halo, —CN, —NO 2 , —OR 11 , —N(R 12 )R 11 , —C(═O)R 11 , —C(═O)R 11 , —C(═O )N(R 12 )R 11 , —N(R 12 )—C(═O)R 11 , —N(R 12 )—C(═O)—(C 1-3 )alkyl-N(R 12 )R 11 , —N(R 12 )—C(═O)N(R 12 )R 11 and —N(R 12 )—SO 2 R 11 ;

or R 2 is aryl substituted with (C 1-6 )alkyl wherein the (C 1-6 )alkyl is substituted with 1 to 3 substituents each independently selected from R 11 , —OR 11 , —N(R 12 )R 11 , —(N((C 1-6 )alkyl) 2 R 11 ) + and —N(R 12 )—C(═O)R 11 ;

wherein R 11 is independently in each instance selected from H, (C 1-6 )alkyl, (C 1-6 )haloalkyl, (C 3-7 )cycloalkyl, aryl, aryl-(C 1-6 )alkyl-, Het and Het-(C 1-6 )alkyl-;

wherein Het and the Het portion of Het-(C 1-6 )alkyl- are each independently selected from a 5- or 6-membered saturated, unsaturated or aromatic heterocycle having 1 to 4 heteroatoms each independently selected from O, N and S, or a 9-membered saturated, unsaturated or aromatic heteropolycycle having 1 O heteroatom;

and wherein each of the (C 1-6 )alkyl, (C 3-7 )cycloalkyl, aryl, aryl-(C 1-6 )alkyl-, Het and Het-(C 1-6 )alkyl- are optionally substituted with 1 to 3 substituents each independently selected from (C 1-6 )alkyl, halo, oxo, —OH, —(C 1-6 )alkyl, —NH 2 , —NH(C 1-6 )alkyl, —N((C 1-6 )alkyl) 2 , —COO(C 1-6 )alkyl, —C(═O)NH(C 1-6 )alkyl and —C(═O)N((C 1-6 )alkyl) 2 ; and

R 12 is independently in each instance selected from H, (C 1-6 )alkyl, —NH 2 , —NH(C 1-6 )alkyl and —N((C 1-6 )alkyl) 2 .

6. A compound according to claim 1 , wherein R 3 is independently in each instance selected from H and R 33 ,

wherein R 33 is independently in each instance selected from R 32 , halo, —CN, —NO 2 , —OR 31 , —N(R 12 )R 31 , —C(═O)R 31 , —C(═O)OR 31 , —C(═O)N(R 12 )R 31 and —N(R 12 )—C(═O)R 31 ;

wherein R 31 is independently in each instance selected from H and R 32 and R 32 is independently in each instance selected from (C 1-6 )alkyl, (C 2-6 )alkenyl, (C 2-6 )alkynyl, aryl, aryl-(C 1-6 )alkyl-, Het and Het-(C 1-6 )alkyl-, wherein Het and the Het portion of Het-(C 1-6 )alkyl- are each independently selected from a 5- or 6-membered saturated, unsaturated or aromatic heterocycle having 1 to 4 heteroatoms each independently selected from O, N and S, or a 9- or 10-membered saturated, unsaturated or aromatic heteropolycycle having wherever possible 1 or 2 heteroatoms, each independently selected from O and N;

wherein each N heteroatom may, independently and where possible, exist in an oxidized state such that it is further bonded to an oxygen atom to form an N-oxide group;

and wherein each of the (C 1-6 )alkyl, (C 2-6 )alkenyl, (C 2-6 )alkynyl, aryl, aryl-(C 1-6 )alkyl-, Het and Het-(C 1-6 )alkyl- is optionally substituted with 1 to 3 substituents each independently selected from R 11 , halo, oxo, —CN, —OR 11 , —N(R 12 )R 11 , —(C═O)OR 11 , —C(═O)N(R 12 )R 11 ,—C(═NH)N(R 12 )R 11 , —N(R 12 )—C(═O)R 11 , —N(R 12 )—SO 2 R 11 , —SO 2 R 11 and —SO 2 N(R 12 )R 11 ;

or wherein each of the (C 1-6 )alkyl, (C 2-6 )alkenyl, (C 2-6 )alkynyl, aryl, aryl-(C 1-6 )alkyl-, Het and Het-(C 1-6 )alkyl- is substituted with (C 1-6 )alkyl wherein the (C 1-6 )alkyl is substituted with 1 to 3 substituents each independently selected from R 11 , —OR 11 , —N(R 12 )R 11 , —C(═O)R 11 , —C(═O)OR 11 and —C(═O)N(R 12 )R 11 ;

wherein R 11 is independently in each instance selected from H, (C 1-6 )alkyl, (C 1-6 )haloalkyl, (C 3-7 )cycloalkyl, aryl, aryl-(C 1-6 )alkyl-, Het and Het-(C 1-6 )alkyl-; wherein Het and the Het portion of Het-(C 1-6 )alkyl- are each independently selected from a 5- or 6-membered saturated, unsaturated or aromatic heterocycle having 1 or 2 heteroatoms each independently selected from O and N;

and wherein each of the (C 1-6 )alkyl, (C 3-7 )cycloalkyl, aryl, aryl-(C 1-6 )alkyl-, Het and Het-(C 1-6 )alkyl- are optionally substituted with 1 to 3 substituents each independently selected from —OH, —O(C 1-6 )alkyl, —NH 2 , —N((C 1-6 )alkyl) 2 , —COOH and —C(═O)NH 2 ; and

R 12 is independently in each instance selected from H and (C 1-6 )alkyl.

7. A compound according to claim 1 , wherein Y is C═O.

8. A compound of the formula II

wherein

R 1 is H, (C 1-6 )alkyl, (C 2-6 )alkenyl, (C 2-6 )alkynyl, (C 3-7 )cycloalkyl, (C 3-7 )cycloalkyl-(C 1-6 )alkyl-, aryl, aryl-(C 1-6 )alkyl-, Het or Het-(C 1-6 )alkyl-,

wherein each of the (C 1-6 )alkyl, (C 2-6 )alkenyl, (C 2-6 )alkynyl, (C 3-7 )cycloalkyl, (C 3-7 )cycloalkyl-(C 1-6 )alkyl-, aryl, aryl-(C 1-6 )alkyl-, Het and Het-(C 1-6 )alkyl- is optionally substituted with 1 to 3 substituents each independently selected from R 11 , halo, oxo, —CN, —NO 2 , —OR 11 , —N(R 12 )R 11 , —C(═O)R 11 , —C(═O)OR 11 , —C(═O)N(R 12 )R 11 , —C(═O)N(R 12 )—SO 2 R 11 , —N(R 12 )—C(═O)R 11 , —N(R 12 )—C(═O)OR 11 , —N(R 12 )—C(═O)N(R 12 )R 11 , —N(R 12 )—SO 2 R 11 , —SR 11 , —SOR 11 , —SO 2 R 11 and —SO 2 N(R 12 )R 11 ;

R 2 is R 21 , wherein R 21 is (C 3-7 )cycloalkyl, (C 3-7 )cycloalkyl-(C 1-6 )alkyl-, aryl, aryl-(C 1-6 )alkyl-, Het or Het-(C 1-6 )alkyl-;

wherein each of the (C 3-7 )cycloalkyl, (C 3-7 )cycloalkyl-(C 1-6 )alkyl-, aryl, aryl-(C 1-6 )alkyl-, Het and Het-(C 1-6 )alkyl- is optionally substituted with 1 to 3 substituents each independently selected from R 11 , halo, oxo, —CN, —NO 2 , —OR 11 , —N(R 12 )R 11 , —C(═O)R 11 , —C═O)OR 11 , —C(═O)N(R 12 )R 11 , —C(═O)N(R 12 )—SO 2 R 11 , —N(R 12 )—C(═O)R 11 , —N(R 12 )—C(═O)—(C 1-3 )alkyl-N(R 12 )R 11 , —N(R 12 )—C(═O)OR 11 , —N(R 12 )—C(═O)N(R 12 )R 11 , —N(R 12 )—SO 2 R 11 , —SR 11 , —SOR 11 , —SO 2 R 11 and —SO 2 N(R 12 )R 11 ;

or wherein each of the (C 1-6 )alkyl, (C 2-6 )alkenyl, (C 2-6 )alkynyl, (C 3-7 )cycloalkyl, (C 3-7 )cycloalkyl-(C 1-6 )alkyl-, aryl, aryl-(C 1-6 )alkyl-, Het and Het-(C 1-6 )alkyl- is substituted with (C 1-6 )alkyl or Het, wherein each of the (C 1-6 )alkyl and Het is substituted with with 1 to 3 substituents each independently selected from R 11 , halo, oxo, —CN, —NO 2 , —OR 11 , —N(R 12 )R 11 , —(N((C 1-6 )alkyl) 2 R 11 ) + , —C(═O)R 11 , —C(═O)OR 11 , —C(═O)N(R 12 )R 11 , —C(═O)N(R 12 )—SO 2 R 11 , —N(R 12 )—C(═O)R 11 , —N(R 12 )—C(═O)—(C 1-3 )alkyl-N(R 12 )R 11 , —N(R 12 )—C(═O)OR 11 , —N(R 12 )—C(═O)N(R 12 )R 11 , —N(R 12 )—SO 2 R 11 , —SR 11 , - 13 SOR 11 , —SO 2 R 11 and —SO 2 N(R 12 )R 11 ;

provided that when R 21 is unsubstituted (C 3-7 )cycloalkyl, (C 3-7 )cycloalkyl-(C 1-6 )alkyl-, aryl, aryl-(C 1-6 )alkyl-, Het or Het-(C 1-6 )alkyl-; then R 1 is (C 1-6 )alkyl, (C 2-6 )alkenyl, (C 2 - 6 )alkynyl, (C 3-7 )cycloalkyl, (C 3-7 )cycloalkyl-(C 1-6 )alkyl-, aryl, aryl-(C 1-6 )alkyl-, Het or Het-(C 1-6 )alkyl-, all of which being substituted with at least one substituent selected from R 11 , halo, —OR 11 , oxo, —CN, —NO 2 , —N(R 12 )R 11 , —C(═O)R 11 , —C(═O)OR 11 , —C(═O)N(R 12 )R 11 , —C(═O)N(R 12 )—SO 2 R 11 , —N(R 12 )—C(═O)R 11 ,—-N(R 12 )—C(═O)OR 11 , —N(R 12 )—C(═O)N(R 12 )R 11 , —N(R 12 )—SO 2 R 11 , —SR 11 , —SOR 11 , —SO 2 R 11 and —SO 2 N(R 12 )R 11 ;

and provided that R 1 cannot be haloalkyl or alkoxy;

A 1 , A 2 , A 3 and A 4 are each independently selected from N and CR 3 , wherein R 3 is independently in each instance selected from H and R 33 , wherein R 33 is independently in each instance selected from R 32 , halo, —CN, —NO 2 , —N(R 12 )R 31 , —C(═O)R 31 , —C(═O)OR 31 , —C(═O)N(R 12 )R 31 , —C(═O)N(R 12 )—SO 2 R 31 , —N(R 12 )—C(═O)R 31 , —N(R 12 )—C(═O)OR 31 , —N(R 12 )—C(═O)N(R 12 )R 31 , —N(R 12 )—SO 2 R 31 , —SR 31 , —SOR 31 , —SO 2 R 31 and —SO 2 N(R12)R31;

wherein R 31 is independently in each instance selected from H and R 32 , and R 32 is independently in each instance selected from (C 1-6 )alkyl, (C 2-6 )alkenyl, (C 2-6 )alkynyl, (C 3-7 )cycloalkyl, (C 3-7 )cycloalkyl-(C 1-6 )alkyl-, aryl, aryl-(C 1-6 )alkyl-, Het and Het-(C 1-6 )alkyl-, wherein each of the (C 1-6 )alkyl, (C 2-6 )alkenyl, (C 2-6 )alkynyl, (C 3-7 )cycloalkyl, (C 3-7 )cycloalkyl-(C 1-6 )alkyl-, aryl, aryl-(C 1-6 )alkyl-, Het and Het-(C 1-6 )alkyl- is optionally substituted with 1 to 3 substituents each independently selected from R 11 , halo, oxo, —CN, —NO 2 , —OR 11 , —N(R 12 ) R 11 , —C(═O) 11 , —C(═O)OR 11 , —C(═O)N(R 12 )R 11 , —C(═O)N(R 12 )—SO 2 R 11 , —C(═NH)N(R 12 )R 11 , —N(R 12 )—C(═O)R 11 , —N(R 12 )—C(═)OR 11 , —N(R 12 )—C(═O)N(R 12 )R11, —N(R 12 )—SO 2 R 11 , —SR 11 , —SOR 11 , —SO 2 R 11 and —SO 2 N(R 12 )R 11 ;

or wherein each of the (C 1-6 )alkyl, (C 2-6 )alkenyl, (C 2-6 )alkynyl, (C 3-7 )cycloalkyl, (C 3-7 )cycloalkyl-(C 1-6 )alkyl-, aryl, aryl-(C 1-6 )alkyl-, Het and Het-(C 1-6 )alkyl- is substituted with (C 1-6 )alkyl or Het, wherein each of the (C 1-6 )alkyl and Het is substituted with 1 to 3 substituents each independently selected from R 11 , halo, oxo, —CN, —NO 2 , —OR 11 , —N(R 12 )R 11 , —C(═O)NR 12 )R 11 , —C(═O)N(R 12 )—SO 2 R 11 , —N(R 12 )—C(═O)R 11 , —N(R 12 )—C(═O)OR 11 , —N(R 12 )—C(═O)N(R 12 )R 11 , —N(R 12 )—C(═O)—(C 1-3 )alkyl-N(R 12 )R11, —N(R 12 )—SO 2 R 11 , —SR 11 , —SOR 11 , —SO 2 R 11 and —SO 2 N(R 12 )R 11 ;

R 11 is independently in each instance selected from H, (C 1-6 )alkyl, (C 1-6 )haloalkyl, (C 2-6 )alkenyl, (C 2-6 )alkynyl, (C 3-7 )cycloalkyl, (C 3-7 )cycloalkyl-(C 1-6 )alkyl-, aryl, aryl-(C 1-6 )alkyl-, Het and Het-(C 1-6 )alkyl-, wherein each of the (C 1-6 )alkyl, (C 2-6 )alkenyl, (C 2-6 )alkynyl, (C 3-7 )cycloalkyl, (C 3-7 )cycloalkyl-(C 1-6 )alkyl-, aryl, aryl-(C 1-6 )alkyl-, Het and Het-(C 1-6 )alkyl- are optionally substituted with 1 to 3 substituents each independently selected from (C 1-6 )alkyl, halo, oxo, —CN, —NO 2 , —OH, —O (C 1-6 )alkyl, —NH 2 , —NH(C 1-6 )alkyl, —N((C 1-6 )alkyl) 2 , —C(═O)—(C 1-6 )alkyl, —COOH, —COO(C 1-6 )alkyl, —C(═O)NH 2 , —C(═O)NH(C 1-6 )alkyl, —C(═O)N((C 1-6 )alkyl) 2 , —SH, —S(C 1-6 )alkyl, —SO(C 1-6 )alkyl, —SO 2 (C 1-6 )alkyl, —SO 2 NH 2 , —SO 2 NH(C 1-6 )alkyl, —SO 2 N((C 1-6 )alkyl) 2 , —NHC(═O)—(C 1-6 )alkyl, —N((C 1-6 )alkyl)C(═O)—(C 1-6 )alkyl, —NHSO 2 —(C 1-6 )alkyl and —N((C 1-6 )alkyl)SO 2 —(C 1-6 )alkyl; and

R 12 is independently in each instance selected from R 11 , —OH, —O(C 1-6 )alkyl, —NH 2 , —NH(C 1-6 )alkyl and —N((C 1-6 )alkyl) 2 ;

wherein Het is a 4- to 7-membered saturated, unsaturated or aromatic heterocycle having 1 to 4 heteroatoms each independently selected from O, N and S, or a 7- to 14-membered saturated, unsaturated or aromatic heteropolycycle having wherever possible 1 to 5 heteroatoms, each independently selected from O, N and S;

wherein each N heteroatom may, independently and where possible, exist in an oxidized state such that it is further bonded to an oxygen atom to form an N-oxide group and wherein each S heteroatom may, independently and where possible, exist in an oxidized state such that it is further bonded to one or two oxygen atoms to form the groups SO or SO 2 ;

or a salt thereof.

9. A compound according to claim 8 , wherein R 1 is (C 1-6 )alkyl, (C 2-6 )alkenyl, aryl, Het or Het-(C 1-6 )alkyl-, wherein Het and the Het portion of Het-(C 1-6 )alkyl- are each independently selected from a 5- or 6-membered saturated, unsaturated or aromatic heterocycle having 1 to 3 heteroatoms each independently selected from O, N and S, or an 8- or 9-membered saturated, unsaturated or aromatic heteropolycycle having 1 or 2 N heteroatoms and

wherein each of the (C 1-6 )alkyl, (C 2-6 )alkenyl, aryl, Het and Het-(C 1-6 )alkyl- is optionally substituted with 1 to 3 substituents each independently selected from R 11 , halo, —CN, —NO 2 , —OR 11 , —N(R 12 ) R 11 , —C(═O)R 11 , —C(═O)OR 11 , —C(═O)N(R 12 )R 11 , —N(R 12 )—C(═O)R 11 and —N(R 12 )—C(═O)OR 11 ;

wherein R 11 and R 12 are each independently in each instance selected from H, (C 1-6 )alkyl, (C 1-6 )haloalkyl, (C 2-6 )alkynyl, (C 3-7 )cycloalkyl-(C 1-6 )alkyl-, aryl-(C 1-6 )alkyl-, Het and Het-(C 1-6 )alkyl-, wherein Het and the Het portion of Het-(C 1-6 )alkyl- are each independently selected from a 5- or 6-membered saturated, unsaturated or aromatic heterocycle having 1 or 2 heteroatoms each independently selected from O and N, and wherein each of the (C 1-6 )alkyl, (C 2-6 )alkynyl, (C 3-7 )cycloalkyl-(C 1-6 )alkyl-, aryl-(C 1-6 )alkyl-, Het and Het-(C 1-6 )alkyl- are optionally substituted with 1 to 3 substituents each independently selected from (C 1-6 )alkyl, halo, —CN, —OH, —O(C 1-6 )alkyl and —N((C 1-6 )alkyl) 2 ;

provided that when R 2 is R 21 and R 21 is unsubstituted (C 3-7 )cycloalkyl, (C 3-7 )cycloalkyl-(C 1-6 )alkyl-, aryl, aryl-(C 1-6 )alkyl-, Het or Het-(C 1-6 )alkyl-; then R 1 is (C 1-6 )alkyl, (C 2-6 )alkenyl, aryl, Het or Het-(C 1-6 )alkyl-, all of which being substituted with at least one substituent selected from R 11 , halo, —CN, —NO 2 , —OR 11 , —N(R 12 )R 11 , —C(═O)R 11 , —C(═O)OR 11 , —C(═O)N(R 12 )R 11 , —N(R 12 )R 11 and —N(R 12 )—C(═O)OR 11 ;

and provided that R 1 cannot be haloalkyl or alkoxy.

10. A compound according to claim 8 , wherein R 2 is phenyl or Het, wherein Het is a 5- or 6-membered aromatic heterocycle or a 9- or 10-membered aromatic heteropolycycle having 1 or 2 N heteroatom; and wherein the phenyl and Het are substituted with 1 to 3 substituents each independently selected from R 11 , —OR 11 , _N(R 12 )R 11 and Het, wherein Het is selected from a 5- or 6-membered saturated, unsaturated or aromatic heterocycle having 1 or 2 heteroatoms each independently selected from O and N; and wherein the Het is substituted with 1 to 3 substituents each independently selected from R 11 , —CN, —OR 11 , —N(R 12 )R 11 , —N(R 12 )—C(═O)R 11 and —SO 2 N(R 12 )R 11 ;

wherein R 11 and R 12 are each independently in each instance selected from H, (C 1-6 )alkyl, aryl, Het and Het-(C 1-6 )alkyl-, wherein Het and the Het portion of Het-(C 1-6 )alkyl- are each independently selected from a 5- or 6-membered saturated, unsaturated or aromatic heterocycle having 1 or 2 heteroatoms each independently selected from O and N and wherein each of the (C 1-6 )alkyl, aryl, Het and Het-(C 1-6 )alkyl- are optionally substituted with 1 to 3 substituents each independently selected from (C 1-6 )alkyl, —CN, —OH, —O(C 1-6 )alkyl, —NH(C 1-6 )alkyl, —N((C 1-6 )alkyl) 2 , —C(═O)NH 2 and —NHC(═O)—(C 1-6 )alkyl.

11. A compound according to claim 8 , wherein R 3 is independently in each instance selected from H, halo, —CN, —NO 2 , —CH═CH 2 , —CF 3 , —N(R 12 )R 31 , —C(═O)R 31 , —C(═O)OR 31 , —C(═O)N(R 12 )R 31 and —N(R 12 )—C(═O)R 31 , phenyl and Het;

wherein the phenyl and Het are optionally substituted with 1 to 3 substituents each independently selected from R 11 , halo, oxo, —CN, —OR 11 , —N(R 12 )R 11 , —C(═O)R 11 , —C(═)OR 11 , —C(═O)N(R 12, )R 11 , —C(═NH)N(R 12 )R 11 , —N(R 12 )—C(═O)R 11 , —N(R 12 )—SO 2 R 11 , —SO 2 R 11 and —SO 2 N(R 12 )R 11 ;

or wherein each of the phenyl and Het is substituted with (C 1-6 )alkyl wherein the (C 1-6 )alkyl is substituted with 1 to 3 substituents each independently selected from R 11 , —OR 11 , —N(R 12 )R 11 , —C(═O)OR 11 , —C(═O)O R 11 and —C(═O)N(R 12 )R 11 ; wherein

R 31 is independently in each instance selected from H, (C 1-6 )alkyl, aryl and Het;

wherein

R 11 is independently in each instance selected from H, (C 1-6 )alkyl, optionally substituted with 1 to 3 substituents each independently selected from —OH, —(C 1-6 )alkyl, —NH 2 , —N((C 1-6 )alkyl) 2 , —COON and —C(═O)NH 2 ; and

R 12 is independently in each instance selected from H and (C 1-6 )alkyl;

wherein Het is selected from

12. A pharmaceutically acceptable salt of a compound according to any one of claims 1 - 6 or 7 - 11 .

13. A pharmaceutical composition comprising a compound according to any one of claims 1 - 6 or 7 - 11 or a pharmaceutically acceptable salt thereof; and one or more pharmaceutically acceptable carriers.

14. A method of treating HIV infection in a human being which comprises administering to a human host infected with HIV a therapeutically effective amount of a compound according to any one of claims 1 to 11 , or a pharmaceutically acceptable salt thereof.