Spirocyclic quinolizine derivatives useful as HIV integrase inhibitors

1. A compound having the formula (I):

or a pharmaceutically acceptable salt or prodrug thereof,

wherein:

A is —NHC(O)— or 5 or 6-membered monocyclic heteroaryl;

B is 3 to 8-membered monocyclic heterocycloalkyl, which may be optionally substituted with one or more groups, each independently selected from R 6 ;

X is C 1 -C 3 alkylene;

Y is —CH 2 —, —CH(R 6 )— or —N(R 3 )—;

R is H or benzyl;

each occurrence of R 1 is independently selected from H, C 1 -C 6 alkyl, C 1 -C 6 haloalkyl, C 2 -C 6 alkenyl, —(C 1 -C 6 alkylene)—O—(C 1 -C 6 alkyl), —(C 1 -C 6 alkylene) m -Z—(C 1 -C 3 alkylene) m -R 11 , —N(R 11 ) 2 and —OR 7 , or both R 1 groups and the common carbon atom to which they are attached, join to form an exocyclic olefin group having the formula:

R 2 represents up to 3 optional substitutents, each independently selected from halo, C 1 -C 6 alkyl, —O—(C 1 -C 6 alkyl) and C 1 -C 6 haloalkyl;

R 3 is selected from H, C 1 -C 6 alkyl, —SO 2 R 4 , —C(O)R 4 , —( C 1 -C 6 alkylene) m -C(O)N(R 5 ) 2 , —(C 2 -C 4 alkylene)-O—(C 1 -C 6 alkyl), —(C 2 -C 4 alkylene)-S—(C 1 -C 6 alkyl), —(C 2 -C 4 alkylene)-SO 2 —(C 1 -C 6 alkyl), —(C 2 -C 4 alkylene)-N—(C 1 -C 6 alkyl) 2 , —(C 1 -C 6 alkylene)-Z—(C 1 -C 3 alkylene) m -R 11, C 3 -C 7 cycloalkyl, phenyl, 4 to 8-membered monocyclic heterocycloalkyl, 6-membered monocyclic heteroaryl and 8 to 10-membered bicyclic heteroaryl;

each occurrence of R 4 is independently selected from H, C 1 -C 6 alkyl, C 1 -C 6 haloalkyl, C 3 -C 7 cycloalkyl, phenyl, 3 to 8-membered monocyclic heterocycloalkyl, 6-membered monocyclic heteroaryl and 8 to 10-membered bicyclic heteroaryl, wherein said C 3 -C 7 cycloalkyl group, said phenyl group, said 3 to 8-membered monocyclic heteroaryl group, said 6-membered monocyclic heteroaryl group and said 8 to 10-membered bicyclic heteroaryl group may be optionally substituted with one or more groups, each independently selected from R 6 ;

each occurrence of R 5 is independently selected from H, C 1 -C 6 alkyl, C 3 -C 7 cycloalkyl, —(C 1 -C 6 alkylene)-N(R 7 ) 2 , C 1 -C 6 haloalkyl, —C(O)O(C 1 -C 6 alkyl), —(C 1 -C 6 alkylene) m -Z—(C 1 -C 3 alkylene) m -R 11 , —(C 1 -C 6 alkylene) m -R 8 and —(C 1 -C 6 alkylene)-O—(C 1 -C 6 alkyl);

each occurrence of R 6 is independently selected from halo, C 1 -C 6 alkyl, C 1 -C 6 haloalkyl, —(C 1 -C 6 alkylene) m -Z—(C 1 -C 3 alkylene) m -R 11 , —N(R 20 ) 2 , 3 to 8-membered monocyclic heterocycloalkyl, 6 to 10-membered bicyclic heterocycloalkyl, —O—(C 1 -C 6 alkyl), —O—(C 6 -C 10 aryl), —O—(C 1 -C 6 alkylene)—O—(C 1 -C 6 alkyl), —O—(C 1 -C 6 haloalkyl), —O—(C 1 -C 6 alkylene)-O—(C 1 -C 6 alkylene)-O—(C 1 -C 6 alkyl), —S(O) 2 (C 1 -C 6 alkyl), —NHS(O) 2 -(C 1 -C 6 alkyl), —S(O) 2 NH—(C 1 -C 6 alkyl), —OC(O)—(C 1 -C 6 haloalkyl), —(C 1 -C 6 alkylene) m —C(O)O—(C 1 -C 6 alkyl), —(C 1 -C 6 alkylene) m -C(O)—(C 1 -C 6 alkyl), —(C 1 -C 6 alkylene) m -C(O)N(R 7 ) 2 , C 1 -C 6 hydroxyalkyl, —P(O)(OR 9 ) 2 and —CN;

each occurrence of R 7 is independently selected from H, C 1 -C 6 alkyl, C 3 -C 7 cycloalkyl, C 1 -C 6 haloalkyl, —C(O)O(C 1 -C 6 alkyl), —(C 1 -C 6 alkylene) m -Z—(C 1 -C 3 alkylene) m -R 11 , —(C 1 -C 6 alkylene) m -R 8 and -(C 1 -C 6 alkylene)—O—(C 1 -C 6 alkyl);

each occurrence of R 8 is independently selected from H, C 1 -C 6 alkyl, C 3 -C 7 cycloalkyl, 5 or 6-membered monocyclic heteroaryl and 3 to 8-membered monocyclic heterocycloalkyl;

each occurrence of R 9 is independently selected from H, C 1 -C 6 alkyl and —(C 1 -C 6 alkylene) m -Z—(C 1 -C 3 alkylene) m -R 11 ;

R 10 is selected from H, C 1 -C 6 alkyl, C 3 -C 7 cycloalkyl and —(C 1 -C 4 alkylene)-O—(C 1 -C 6 alkyl);

each occurrence of R 11 is independently selected from —P(O)(—OR 18 ) 2 ,

each occurrence of R 12 is independently selected from H, C 1 -C 6 alkyl, C 3 -C 7 cycloalkyl, phenyl or benzyl, wherein said C 1 -C 6 alkyl may be optionally substituted with a group selected from halo, —OR 16 ,—SR 16 , guanidino, —N(R 16 ) 2 , —C(O)OR 16 , —C(O)N(R 16 ) 2 , —NHC(O)R 16 , 5- or 6-membered monocyclic heteroaryl and 9- or 10-membered bicyclic heteroaryl, and wherein said phenyl group and said benzyl group may be optionally substituted with up to 2 groups, each independently selected from C 1 -C 6 alkyl, halo and —OR 16 ;

each occurrence of R 13 is independently selected from H, C 1 -C 6 alkyl, C 3 -C 7 cycloalkyl, phenyl or benzyl, wherein said C 1 -C 6 alkyl may be optionally substituted with a group selected from halo, —OR 16 , —SR 16, guanidino, —N(R 16 ) 2 , —C(O)OR 16 ,—C(O)N(R 16 ) 2 , —NHC(O)R 16 , 5- or 6-membered monocyclic heteroaryl and 9- or 10-membered bicyclic heteroaryl, and wherein said phenyl group and said benzyl group may be optionally substituted with up to 2 groups, each independently selected from C 1 -C 6 alkyl, halo and —OR 16 ;

each occurrence of R 14 is independently selected from H, C 1 -C 20 alkyl, C 2 -C 20 alkenyl, —(C 1 -C 3 alkylene) m -(C 3 -C 7 cycloalkyl), —(C 1 -C 3 alkylene) m -(C 6 -C 10 aryl) or —(C 1 -C 3 alkylene) m -adamantyl, wherein said C 1 -C 20 alkyl group, said C 2 -C 20 alkenyl group, said C 6 -C 10 aryl group and said adamantyl group may be optionally substituted with up to three groups, each independently selected from halo, —OR 16 , —C(O)OR 16 , CN, NO 2 , C 1 -C 6 haloalkyl, C 1 -C 6 hydroxyalkyl, C 3 -C 7 cycloalkyl, C 6 -C 10 aryl, 5- or 6-membered monocyclic heteroaryl, 9- or 10 -membered bicyclic heteroaryl, —N(R 16 ) 2 , —C(O)N(R 16 ) 2 —SR 16 , —S(O)R 16 , —S(O) 2 R 16 , —S(O) 2 N(R 16 ) 2 , —NHC(O)R 16 , —NHC(O)OR 16 and —NHC(O)N(R 16 ) 2 ;

R 15 is selected from H, C 6 -C 10 aryl, 5- or 6-membered monocyclic heteroaryl and 9- or 10-membered bicyclic heteroaryl, wherein said C 6 -C 10 aryl group, said 5- or 6-membered monocyclic heteroaryl group and said 9- or 10-membered bicyclic heteroaryl group may be optionally substituted with R 17 ;

each occurrence of R 16 is independently selected from H, C 1 -C 10 alkyl, C 1 -C 6 haloalkyl, C 1 -C 6 hydroxyalkyl, —(C 1 -C 3 alkylene)m-(C 3 -C 7 cycloalkyl), —(C 1 -C 3 alkylene) m -(C 6 -C 10 aryl), —(C 1 -C 3 alkylene) m -(4 to 7-membered heterocycloalkyl), —(C 1 -C 3 alkylene) m -(5- or 6-membered monocyclic heteroaryl) and -(C 1 -C 3 alkylene) m -(9- or 10-membered bicyclic heteroaryl), wherein said C 3 -C 7 cycloalkyl group, said C 6 -C 10 aryl group, said 4 to 7-membered heterocycloalkyl group, said -5- or 6-membered monocyclic heteroaryl group or said 9- or 10-membered bicyclic heteroaryl group may be optionally substituted with R 17 ;

R 17 represents from one to five substituent groups, each independently selected from C 1 -C 6 alkyl, halo, —O R 19 , -SR 19 , C 1 -C 6 haloalkyl, C 1 -C 6 hydroxyalkyl, —O—(C 1 -C 6 haloalkyl), —CN, —NO 2 , —N(R 19 ) 2 , —C(O)0R 19 , —C(O)N(R 19 )2 and —NHC(O)R 19 ;

each occurence of R 18 is independently selected from H, C 1 -C 6 alkyl, C 6 -C 10 aryl, —(C 1 -C 6 alkylene)-O—(C 1 -C 20 alkyl), —(C 1 -C 6 alkylene)-O—C(O)—R 16 , and —(C 1 -C 6 alkylene)-O—C(O)—O—R 16 ;

each occurrence of R 19 is independently selected from H, C 1 -C 10 alkyl, C 1 -C 6 haloalkyl, C 1 -C 6 hydroxyalkyl, —(C 1 -C 3 alkylene) m -(C 3 -C 7 cycloalkyl), —(C 1 -C 3 alkylene) m -(C 6 -C 10 aryl), —(C 1 -C 3 alkylene) m -(4 to 7-membered heterocycloalkyl), —(C 1 -C 3 alkylene) m -(5- or 6-membered monocyclic heteroaryl) and —(C 1 -C 3 alkylene) m -(9- or 10-membered bicyclic heteroaryl);

each occurence of R 20 is independently selected from H, C 1 -C 6 alkyl and -(C 1 -C 6 alkylene) m -Z—(C 1 -C 3 alkylene) m -R 11 ;

each occurence of R 21 is independently selected from H and C 1 -C 6 alkyl;

each occurrence of Z is independently selected from a bond, —O— or —N(R 9 )—;

each occurrence of m is independently 0 or 1; and

n is 1 or 2.

2. The compound of claim 1 , wherein A is 5 or 6-membered monocyclic heteroaryl, or a pharmaceutically acceptable salt thereof.

3. The compound of claim 1 , wherein X is CH 2 , or a pharmaceutically acceptable salt thereof.

4. The compound of claim 1 , wherein Y is CH 2 or —CH(CH 3 )—, or a pharmaceutically acceptable salt thereof.

5. The compound of claim 1 having the formula (Ia):

or a pharmaceutically acceptable salt or prodrug thereof,

wherein:

A is: —NHC(O)— or:

B is a 5 or 6-membered heterocycloalkyl, optionally substituted with R 6 ;

each occurrence of R l is C 1 -C 6 alkyl, or both R l groups and the common carbon atom to which they are attached, join to form an exocyclic olefin group having the formula:

R 2 represents up to 3 optional substitutents, each independently selected from halo;

R 6 is H or C 1 -C 6 alkyl; and

each occurrence of R 21 is independently selected from H and C 1 -C 6 alkyl.

6. The compound of claim 1 , wherein A is —NHC(O)—, or a pharmaceutically acceptable salt thereof.

7. The compound of claim 1 , wherein A is:

or a pharmaceutically acceptable salt thereof.

8. The compound of claim 1 , wherein R 2 represents from 1 to 3 groups, each independently selected from F and Cl, or a pharmaceutically acceptable salt thereof.

9. The compound of claim 1 , wherein B is tetrahydrofuran or tetrahydropyran, each of which can be optionally substituted with C 1 -C 6 alkyl, or a pharmaceutically acceptable salt thereof.

10. The compound of claim 9 , wherein B is tetrahydrofuran that is optionally substituted with methyl, or a pharmaceutically acceptable salt thereof.

11. The compound of claim 1 , wherein each occurrence of R l is C 1 -C 6 alkyl, or a pharmaceutically acceptable salt thereof.

12. The compound of claim 1 , wherein both R 1 groups and the common carbon atom to which they are attached, join to form an endocyclic olefin group having the formula:

or a pharmaceutically acceptable salt thereof.

13. A compound selected from

or a pharmaceutically acceptable salt thereof.

14. A pharmaceutical composition comprising an effective amount of a compound of claim 1 , or a pharmaceutically acceptable salt thereof, and a pharmaceutically acceptable carrier.

15. A method for the inhibition of HIV integrase in a subject in need thereof which comprises administering to the subject an effective amount of a compound of claim 1 , or a pharmaceutically acceptable salt thereof.

16. A method for the treatment of infection by HIV or for the treatment or delay in the onset or progression of AIDS in a subject in need thereof, which comprises administering to the subject an effective amount of a compound of claim 1 , or a pharmaceutically acceptable salt thereof.

17. A compound of claim 1 , or a pharmaceutically acceptable salt thereof, for use in the preparation of a medicament for the inhibition of HIV integrase, for the treatment of infection by HIV, or for the treatment or delay in the onset or progression of AIDS in a subject in need thereof.

18. The pharmaceutical composition of claim 14 , further comprising one or more additional therapeutic agents selected from the group consisting of lamivudine, abacavir, ritonavir, darunavir, atazanavir, emtricitabine, tenofovir, rilpivirine and lopinavir.

19. The method of claim 16 , further comprising administering to the subject one or more additional therapeutic agents selected from the group consisting of lamivudine, abacavir, ritonavir, darunavir, atazanavir, emtricitabine, tenofovir, rilpivirine and lopinavir, wherein the amounts administered of the compounds, are together effective to treat infection by HIV or to treat or delay the onset or progression of AIDS.