Inhibitors of human immunodeficiency virus replication

A compound of the formula (I)

• wherein
• represents either a single or double bond;
• X is S or CR5;
• Y is S or CR7;
• wherein one of X or Y is S;
• R2, R5, R6 and R7 are each independently selected from:
• a) halo;
• b) R8, —C(═O)—R8, —C(═O)—O—R8, —O—R8, —S—R8, SO—R8, —SO2—R8, —(C1-6)alkylene-R8, —(C1-6)alkylene-C(═O)—R8, —(C1-6)alkylene-C(═O)—O—R8, —(C1-6)alkylene-SO—R8 or —(C1-6)alkylene-SO2—R8, —(C1-6)alkylene-O—R8 or —(C1-6)alkylene-S—R8;
• wherein R8 is in each instance independently selected from H, (C1-6)alkyl, (C2-6)alkenyl, (C2-6)alkynyl, (C1-6)haloalkyl, (C3-7)cycloalkyl, aryl and Het;
• and
• wherein each of the aryl and Het is optionally substituted with 1 to 3 substituents each independently selected from:
• i) halo, oxo, thioxo, (C2-6)alkenyl, (C1-6)haloalkyl, (C3-7)cycloalkyl, (C3-7)cycloalkyl-(C1-6)alkyl-, —OH, —O(C1-6)alkyl, —O(C1-6)haloalkyl, —SH, —S(C1-6)alkyl, —SO(C1-6)alkyl, —SO2(C1-6)alkyl, —NH2, —NH(C1-6)alkyl and —N((C1-6)alkyl)2;
• ii) (C1-6)alkyl optionally substituted with —OH, —O—(C1-6)haloalkyl, or —O—(C1-6)alkyl;
• and
• iii) aryl or Het, wherein each of the aryl and Het is optionally substituted with halo or (C1-6)alkyl;
• and
• c) —N(R9)R10, —C(═O)—N(R9)R10, —O—C(═O)—N(R9)R10, —SO2—N(R9)R10, —(C1-6)alkylene-N(R9)R10, —(C1-6)alkylene-C(═O)—N(R9)R10, —(C1-6)alkylene-O—C(═O)—N(R9)R10, or —(C1-6)alkylene-SO2—N(R9)R10 wherein
• R9 is in each instance independently selected from H, (C1-6)alkyl and (C3-7)cycloalkyl;
• and
• R10 is in each instance independently selected from R8, —(C1-6)alkylene-R8, —SO2—R8, —C(═O)—R8, —C(═O)OR8 and —C(═O)N(R9)R8;
• wherein R8 and R9 are as defined above;
• R3 is (C1-6)alkyl, (C1-6)haloalkyl, (C2-6)alkenyl, (C2-6)alkynyl, (C3-7)cycloalkyl-(C1-6)alkyl-, aryl-(C1-6)alkyl-, Het-(C1-6)alkyl- or —W—R31, and bond c is a single bond;
• or
• R3 is (C1-6)alkylidene and bond c is a double bond;
• wherein W is O or S and R31 is (C1-6)alkyl, (C1-6)haloalkyl, (C2-6)alkenyl, (C2-6)alkynyl, (C3-7)cycloalkyl, aryl, (C3-7)cycloalkyl-(C1-6)alkyl-, aryl-(C1-6)alkyl- or Het-(C1-6)alkyl-;
• wherein each of the (C1-6)alkylidene, (C1-6)alkyl, (C1-6)haloalkyl, (C2-6)alkenyl, (C2-6)alkynyl, (C3-7)cycloalkyl-(C1-6)alkyl-, aryl-(C1-6)alkyl-, Het-(C1-6)alkyl- and —W—R31 is optionally substituted with 1 to 3 substituents each independently selected from (C1-6)alkyl, halo, cyano, oxo and —O(C1-6)alkyl;
• R4 is aryl or Het, wherein each of the aryl and Het is optionally substituted with 1 to 5 substituents each independently selected from halo, (C1-6)alkyl, (C2-6)alkenyl, (C1-6)haloalkyl, (C3-7)cycloalkyl, (C3-7)cycloalkyl-(C1-6)alkyl-, —OH, —O(C1-6)alkyl, —SH, —S(C1-6)alkyl, —NH2, —NH(C1-6)alkyl and —N((C1-6)alkyl)2;
• wherein the (C1-6)alkyl is optionally substituted with hydroxy, —O(C1-6)alkyl, cyano or oxo;
• and
• 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 SO2;
• or a salt thereof.