Tricyclic heterocycle derivatives having HIV replication inhibitory effect

1. A compound of formula (I):

or a pharmaceutically acceptable salt thereof,

wherein

A 1 is C, CR 1A , or N;

A 2 is C, CR 2A , or N;

A 3 is CR 3A , CR 3A R 3B , N, NR 3C , O, S, SO, or SO 2 ;

A 4 is CR 4A , CR 4A R 4B , N, NR 4C , O, S, SO, or SO 2 ;

A 5 is C, CR 5A , or N;

A 6 is C, CR 6A , or N;

R 1A , R 2A , R 3A , R 3B , R 4A , R 4B , R 5A , and R 6A are each independently hydrogen, halogen, hydroxy, substituted or unsubstituted alkyl, substituted or unsubstituted alkenyl, substituted or unsubstituted alkynyl, substituted or unsubstituted alkyl oxy, substituted or unsubstituted alkenyloxy, substituted or unsubstituted alkynyloxy, substituted or unsubstituted alkyl carbonyl, substituted or unsubstituted alkenyl carbonyl, substituted or unsubstituted alkynyl carbonyl, substituted or unsubstituted aromatic carbocyclyl, substituted or unsubstituted non-aromatic carbocyclyl, substituted or unsubstituted aromatic heterocyclyl, substituted or unsubstituted non-aromatic heterocyclyl, substituted or unsubstituted aromatic carbocycle oxy, substituted or unsubstituted non-aromatic carbocycle oxy, substituted or unsubstituted aromatic heterocycle oxy, substituted or unsubstituted non-aromatic heterocycle oxy, substituted or unsubstituted aromatic carbocycle thio, substituted or unsubstituted non-aromatic carbocycle thio, substituted or unsubstituted aromatic heterocycle thio, substituted or unsubstituted non-aromatic heterocycle thio, substituted or unsubstituted aromatic carbocycle amino, substituted or unsubstituted non-aromatic carbocycle amino, substituted or unsubstituted aromatic heterocycle amino, substituted or unsubstituted non-aromatic heterocycle amino, substituted or unsubstituted aromatic carbocyclylcarbonyl, substituted or unsubstituted non-aromatic carbocyclylcarbonyl, substituted or unsubstituted aromatic heterocyclylcarbonyl, substituted or unsubstituted non-aromatic heterocyclylcarbonyl, substituted or unsubstituted aromatic carbocyclylalkylcarbonyl, substituted or unsubstituted non-aromatic carbocyclylalkylcarbonyl, substituted or unsubstituted aromatic heterocyclylalkyl carbonyl, substituted or unsubstituted non-aromatic heterocyclylalkylcarbonyl, substituted or unsubstituted amino, or substituted or unsubstituted carbamoyl;

R 3C and R 4C are each independently hydrogen, substituted or unsubstituted alkyl, substituted or unsubstituted alkenyl, substituted or unsubstituted alkynyl, substituted or unsubstituted alkyl oxy, substituted or unsubstituted alkenyloxy, substituted or unsubstituted alkynyloxy, substituted or unsubstituted aromatic carbocyclyl, substituted or unsubstituted non-aromatic carbocyclyl, substituted or unsubstituted aromatic heterocyclyl, or substituted or unsubstituted non-aromatic heterocyclyl; or,

R 3A and R 3B may be taken together to form oxo, R 4A and R 4B may be taken together to form oxo;

R 3A and R 4A may be taken together with an adjacent atom to form substituted or unsubstituted monocyclic carbocycle, or substituted or unsubstituted monocyclic heterocycle, the carbocycle or heterocycle may be further fused to;

R 3A and R 4C may be taken together with an adjacent atom to form substituted or unsubstituted monocyclic heterocycle, the heterocycle may be further fused to;

R 3C and R 4A may be taken together with an adjacent atom to form substituted or unsubstituted monocyclic heterocycle, the heterocycle may be further fused to;

R 3C and R 4C may be taken together with an adjacent atom to form substituted or unsubstituted monocyclic heterocycle, the heterocycle may be further fused to;

R 3A and R 3B may be taken together with an adjacent atom to form substituted or unsubstituted spiro ring, the spiro ring may be further fused to;

R 4A and R 4B may be taken together with an adjacent atom to form substituted or unsubstituted spiro ring, the spiro ring may be further fused to;

R 4B may be taken together with an atom on the circular arc of T 1 ring to form substituted or unsubstituted monocyclic carbocycle, or substituted or unsubstituted monocyclic heterocycle, the carbocycle or heterocycle may be further fused to;

R 4C may be taken together with an atom on the circular arc of T1 ring to form substituted or unsubstituted monocyclic heterocycle, the heterocycle may be further fused to;

the broken line means the presence or absence of bond, the adjacent broken lines do not exist at the same time, the carbon atoms on 1st, 2nd, and 3rd position are sp 2 carbon;

T 1 ring is substituted or unsubstituted monocyclic carbocycle or substituted or unsubstituted monocyclic heterocycle, (1) the carbocycle or heterocycle may be fused with the other substituted or unsubstituted carbocycle or substituted or unsubstituted heterocycle, and/or (2) two atoms which are not adjacent to one another constituting the carbocycle or heterocycle may be bridged by substituted or unsubstituted alkylene, substituted or unsubstituted alkenylene or substituted or unsubstituted alkynylene;

R 1 is halogen, cyano, nitro or —X 1 —R 11 ,

X 1 is a bond, —O—, —S—, —NR 12 —, —CO—, —SO—, —SO 2 —O—CO—, —CO—O—, —NR 12 —CO—, —CO—NR 12 —, —NR 12 —CO—O—, —NR 12 —CO—NR 13 , —NR 12 —SO 2 — or —SO 2 —NR 12 —,

R 11 is hydrogen atom, substituted or unsubstituted alkyl, substituted or unsubstituted alkenyl, substituted or unsubstituted alkynyl, substituted or unsubstituted carbocyclyl, or substituted or unsubstituted heterocyclyl,

R 12 and R 13 are each independently hydrogen atom, substituted or unsubstituted alkyl, substituted or unsubstituted alkenyl or substituted or unsubstituted alkynyl,

when X 1 is —NR 12 —, —CO—NR 12 or —SO 2 —NR 12 —, R 11 and R 12 may be taken together with an adjacent nitrogen atom to form substituted or unsubstituted heterocyclyl,

X 1 is —NR 12 —CO—NR 13 —, R 11 and R 13 may be taken together with an adjacent nitrogen atom to form substituted or unsubstituted heterocyclyl,

R 1 may be taken together with a carbon atom or a nitrogen atom on the circular arc of T 1 ring to form substituted or unsubstituted monocyclic carbocycle, or substituted or unsubstituted monocyclic heterocycle, the carbocycle or heterocycle may be further fused to;

R 2 is each substituted or unsubstituted alkyl, substituted or unsubstituted alkenyl, substituted or unsubstituted alkynyl, substituted or unsubstituted alkyloxy, substituted or unsubstituted alkenyloxy, substituted or unsubstituted alkynyloxy, substituted or unsubstituted cycloalkyloxy, or substituted or unsubstituted cycloalkenyloxy;

n is 1 or 2;

R 3 is substituted or unsubstituted aromatic carbocyclyl, substituted or unsubstituted non-aromatic carbocyclyl, substituted or unsubstituted aromatic heterocyclyl, substituted or unsubstituted non-aromatic heterocyclyl, substituted or unsubstituted aromatic carbocycle alkenyl, substituted or unsubstituted non-aromatic carbocycle alkenyl, substituted or unsubstituted aromatic heterocycle alkenyl, substituted or unsubstituted non-aromatic heterocycle alkenyl, substituted or unsubstituted aromatic carbocycle alkynyl, substituted or unsubstituted non-aromatic carbocycle alkynyl, substituted or unsubstituted aromatic heterocycle alkynyl, or substituted or unsubstituted non-aromatic heterocycle alkynyl; and

R 4 is hydrogen or a carboxy protecting group.

2. The compound or pharmaceutically acceptable salt thereof according to claim 1 , wherein the formula (I) is one of formulas (I-A), (I-B) and (I-C):

3. The compound or pharmaceutically acceptable salt thereof according to claim 1 , wherein at least one of conditions 1) to 3) is fulfilled:

1) A 3 is N, NR 3C , O, S, SO, or SO 2 ;

2) A 4 is N, NR 4C , O, S, SO, or SO 2 ; and

3) A 5 is N.

4. The compound or pharmaceutically acceptable salt thereof according to claim 1 , wherein A 3 is CR 3A ; A 4 is CR 4A ; and A 5 is N.

5. The compound or pharmaceutically acceptable salt thereof according to claim 1 , wherein A 3 is N or NR 3C ; A 4 is CR 4A ; and A 5 is C.

6. The compound or pharmaceutically acceptable salt thereof according to claim 1 , wherein A 3 is N or NR 3C ; A 4 is CR 4A ; and A 5 is C or N.

7. The compound or pharmaceutically acceptable salt thereof according to claim 1 , wherein A 3 is O or S; A 4 is CR 4A or N; and A 5 is C.

8. The compound or pharmaceutically acceptable salt thereof according to claim 1 , wherein the formula (I) is formula (I-A):

9. The compound or pharmaceutically acceptable salt thereof according to claim 8 , wherein the formula (I) is one of formulas (I-A-1), (I-A-2), (I-A-3), (I-A-4), (I-A-5), (I-A-6), (I-A-5′), (I-A-6′), (I-A-7), (I-A-8), (I-A-9), and (I-A-10):

10. The compound or pharmaceutically acceptable salt thereof according to claim 8 , wherein T 1 ring is one of structures (T 1 -2-1), (T 1 -2-2) and (T 1 -2-3):

where R a is hydrogen, substituted or unsubstituted alkyl, substituted or unsubstituted alkenyl, substituted or unsubstituted carbocyclyl, substituted or unsubstituted heterocyclyl, —COR a1 , —SOR a2 , or —SO 2 R a3 (R a1 , R a2 , and R a3 are each independently hydrogen, substituted or unsubstituted alkyl, substituted or unsubstituted alkenyl, substituted or unsubstituted carbocyclyl, or substituted or unsubstituted heterocyclyl);

m is an integer of 0 to 5;

L is —SO 2 —, —SO—, —CO—, or —CR b R c —; and

R b and R c are each independently hydrogen, substituted or unsubstituted alkyl, substituted or unsubstituted alkenyl, substituted or unsubstituted carbocyclyl, substituted or unsubstituted heterocyclyl, or R b and R c may be taken together to form oxo.

11. The compound or pharmaceutically acceptable salt thereof according to claim 1 , wherein the formula (I) is formula (I-B):

12. The compound or pharmaceutically acceptable salt thereof according to claim 11 , wherein the formula (I) is one of formulas (I-B-1), (I-B-2), (I-B-3), (I-B-4), (I-B-5), (I-B-6), (I-B-7), (I-B-8), and (I-B-9):

13. The compound or pharmaceutically acceptable salt thereof according to claim 1 , wherein the formula (I) is formula (I-C):

14. The compound or pharmaceutically acceptable salt thereof according to claim 13 , wherein the formula (I) is one of formulas (I-C-1), (I-C-2), (I-C-3), (I-C-4), (I-C-5), and (I-C-6):

15. The compound or pharmaceutically acceptable salt thereof according to claim 1 , wherein T 1 ring is one of structures (T 1 -1) and (T 1 -2):

where R a is hydrogen, substituted or unsubstituted alkyl, substituted or unsubstituted alkenyl, substituted or unsubstituted carbocyclyl, substituted or unsubstituted heterocyclyl, —COR a1 , —SOR a2 , or —SO 2 R a3 (R a1 , R a2 , and R a3 are each independently hydrogen, substituted or unsubstituted alkyl, substituted or unsubstituted alkenyl, substituted or unsubstituted carbocyclyl, or substituted or unsubstituted heterocyclyl;

m is an integer of 0 to 5;

L is —SO 2 —, —SO—, —CO—, or —CR b R c —; and

R b and R c are each independently hydrogen, substituted or unsubstituted alkyl, substituted or unsubstituted alkenyl, substituted or unsubstituted carbocyclyl, substituted or unsubstituted heterocyclyl, or R b and R c may be taken together to form oxo.

16. The compound or pharmaceutically acceptable salt thereof according to claim 15 , wherein R 1 is alkyl; n is 1, R 2 is alkyloxy; R 4 is hydrogen; R 3 is substituted or unsubstituted aromatic carbocyclyl, substituted or unsubstituted non-aromatic carbocyclyl, substituted or unsubstituted aromatic heterocyclyl, or substituted or unsubstituted non-aromatic heterocyclyl; m is an integer of 1 to 3; and R b and R c are each independently hydrogen or alkyl.

17. The compound or pharmaceutically acceptable salt thereof according to claim 1 , wherein T 1 ring is one of structures (T 1 -1-1), (T 1 -1-2), (T 1 -1-3), (T 1 -1-4), (T 1 -1-5), (T 1 -2-1), (T 1 -2-2) and (T 1 -2-3):

where R a is hydrogen, substituted or unsubstituted alkyl, substituted or unsubstituted alkenyl, substituted or unsubstituted carbocyclyl, substituted or unsubstituted heterocyclyl, —COR a1 , —SOR a2 , or —SO 2 R a3 (R a1 , R a2 , and R a3 are each independently hydrogen, substituted or unsubstituted alkyl, substituted or unsubstituted alkenyl, substituted or unsubstituted carbocyclyl, or substituted or unsubstituted heterocyclyl);

m is an integer of 0 to 5;

L is —SO 2 —, —SO—, —CO—, or —CR b R c —; and

R b and R c are each independently hydrogen, substituted or unsubstituted alkyl, substituted or unsubstituted alkenyl, substituted or unsubstituted carbocyclyl, substituted or unsubstituted heterocyclyl, or R b and R c may be taken together to form oxo.

18. The compound or pharmaceutically acceptable salt thereof according to claim 1 , wherein the formula (I) is one of formulas (I-A-1-1), (I-A-1-2), (I-A-1-3), (I-A-1-4), (I-A-1-5), (I-A-2-1), (I-A-2-2), (I-A-2-3), (I-A-2-4), (I-A-3-1), (I-A-3-2), (I-A-3-3), (I-A-3-4), (I-A-4-1), (I-A-4-2), (I-A-4-3), (I-A-4-4), (I-A-5-1), (I-A-5-2), (I-A-5-3), (I-A-5-4), (I-A-5′-1), (I-A-5′-2), (I-A-5′-3), (I-A-5′-4), (I-A-6-1), (I-A-6-2), (I-A-6-3), (I-A-6-4), (I-A-6′-1), (I-A-6′-2), (I-A-6′-3), (I-A-6′-4), (I-A-7-1), (I-A-7-2), (I-A-7-3), (I-A-7-4), (I-A-8-1), (I-A-8-2), (I-A-8-3), (I-A-8-4), (I-A-9-1), (I-A-9-2), (I-A-9-3), (I-A-9-4), (I-A-10-1), (I-A-10-2), (I-A-10-3), and (I-A-10-4):

where R a is hydrogen, substituted or unsubstituted alkyl, substituted or unsubstituted alkenyl, substituted or unsubstituted carbocyclyl, substituted or unsubstituted heterocyclyl, —COR a1 , —SOR a2 , or —SO 2 R a3 (R a1 , R a2 , and R a3 are each independently hydrogen, substituted or unsubstituted alkyl, substituted or unsubstituted alkenyl, substituted or unsubstituted carbocyclyl, or substituted or unsubstituted heterocyclyl);

m is an integer of 0 to 5;

L is —SO 2 —, —SO—, —CO—, or —CR b R c —; and

R b and R c are each independently hydrogen, substituted or unsubstituted alkyl, substituted or unsubstituted alkenyl, substituted or unsubstituted carbocyclyl, substituted or unsubstituted heterocyclyl, or R b and R c may be taken together to form oxo.

19. The compound or pharmaceutically acceptable salt thereof according to claim 1 , wherein the formula (I) is one of formulas (I-B-1-1), (I-B-1-2), (I-B-1-3), (I-B-1-4), (I-B-2-1), (I-B-2-2), (I-B-2-3), (I-B-2-4), (I-B-3-1), (I-B-3-2), (I-B-3-3), (I-B-3-4), (I-B-4-1), (I-B-4-2), (I-B-4-3), (I-B-4-4), (I-B-5-1), (I-B-5-2), (I-B-5-3), (I-B-5-4), (I-B-6-1), (I-B-6-2), (I-B-6-3), (I-B-6-4), (I-B-7-1), (I-B-7-2), (I-B-7-3), (I-B-7-4), (I-B-8-1), (I-B-8-2), (I-B-8-3), (I-B-8-4), (I-B-9-1), (I-B-9-2), (I-B-9-3), and (I-B-9-4):

where R a is hydrogen, substituted or unsubstituted alkyl, substituted or unsubstituted alkenyl, substituted or unsubstituted carbocyclyl, substituted or unsubstituted heterocyclyl, —COR a1 , —SOR a2 , or —SO 2 R a3 (R a1 , R a2 , and R a3 are each independently hydrogen, substituted or unsubstituted alkyl, substituted or unsubstituted alkenyl, substituted or unsubstituted carbocyclyl, or substituted or unsubstituted heterocyclyl);

m is an integer of 0 to 5;

L is —SO 2 —, —SO—, —CO—, or —CR b R c —; and

R b and R c are each independently hydrogen, substituted or unsubstituted alkyl, substituted or unsubstituted alkenyl, substituted or unsubstituted carbocyclyl, substituted or unsubstituted heterocyclyl, or R b and R c may be taken together to form oxo.

20. The compound or pharmaceutically acceptable salt thereof according to claim 1 , wherein the formula (I) is one of formulas (I-C-1-1), (I-C-1-2), (I-C-1-3), (I-C-1-4), (I-C-2-1), (I-C-2-2), (I-C-2-3), (I-C-2-4), (I-C-3-1), (I-C-3-2), (I-C-3-3), (I-C-3-4), (I-C-4-1), (I-C-4-2), (I-C-4-3), (I-C-4-4), (I-C-5-1), (I-C-5-2), (I-C-5-3), (I-C-5-4), (I-C-6-1), (I-C-6-2), (I-C-6-3), and (I-C-6-4):

where R a is hydrogen, substituted or unsubstituted alkyl, substituted or unsubstituted alkenyl, substituted or unsubstituted carbocyclyl, substituted or unsubstituted heterocyclyl, —COR a1 , —SOR a2 , or —SO 2 R a3 (R a1 , R a2 , and R a3 are each independently hydrogen, substituted or unsubstituted alkyl, substituted or unsubstituted alkenyl, substituted or unsubstituted carbocyclyl, or substituted or unsubstituted heterocyclyl);

m is an integer of 0 to 5;

L is —SO 2 —, —SO—, —CO—, or —CR b R c —; and

R b and R c are each independently hydrogen, substituted or unsubstituted alkyl, substituted or unsubstituted alkenyl, substituted or unsubstituted carbocyclyl, substituted or unsubstituted heterocyclyl, or R b and R c may be taken together to form oxo.

21. The compound or pharmaceutically acceptable salt thereof according to claim 1 , wherein R 1 is alkyl.

22. The compound or pharmaceutically acceptable salt thereof according to claim 1 , wherein n is 1, and R 2 is alkyloxy.

23. The compound or pharmaceutically acceptable salt thereof according to claim 1 , wherein R 4 is hydrogen.

24. The compound or pharmaceutically acceptable salt thereof according to claim 1 , wherein R 3 is substituted or unsubstituted aromatic carbocyclyl, substituted or unsubstituted non-aromatic carbocyclyl, substituted or unsubstituted aromatic heterocyclyl, or substituted or unsubstituted non-aromatic heterocyclyl.

25. The compound or pharmaceutically acceptable salt thereof according to claim 1 , wherein R 1 is alkyl; n is 1, R 2 is alkyloxy; R 4 is hydrogen; and R 3 is substituted or unsubstituted aromatic carbocyclyl, substituted or unsubstituted non-aromatic carbocyclyl, substituted or unsubstituted aromatic heterocyclyl, or substituted or unsubstituted non-aromatic heterocyclyl.

26. The compound or pharmaceutically acceptable salt thereof according to claim 1 , wherein the formula (I) is formula (I-A-1-1):

where R 1 is alkyl; n is 1, R 2 is alkyloxy; R 4 is hydrogen; R 3 is substituted or unsubstituted aromatic carbocyclyl or substituted or unsubstituted non-aromatic carbocyclyl, R 3A is hydrogen, R 4A is substituted or unsubstituted aromatic heterocyclyl, and T 1 ring is substituted or unsubstituted monocyclic heterocycle.

27. The compound or pharmaceutically acceptable salt thereof according to claim 26 , wherein the formula (I) is formula (I-A-1-1):

where R 1 is alkyl; n is 1, R 2 is alkyloxy; R 4 is hydrogen; R 3 is substituted or unsubstituted aromatic carbocyclyl or substituted or unsubstituted non-aromatic carbocyclyl, R 3A is hydrogen, R 4A is substituted or unsubstituted aromatic heterocyclyl, m is 1, R b and R C are hydrogen, and R a is hydrogen or alkyl.

28. The compound or pharmaceutically acceptable salt thereof according to claim 26 , wherein the formula (I) is formula (I-A-1-2):

where R 1 is alkyl; n is 1, R 2 is alkyloxy; R 4 is hydrogen; R 3 is substituted or unsubstituted aromatic carbocyclyl or substituted or unsubstituted non-aromatic carbocyclyl, R 3A is hydrogen, R 4A is substituted or unsubstituted aromatic heterocyclyl, m is 1, R b is each independently hydrogen or alkyl, R C is hydrogen, and R a3 is alkyl.

29. The compound or pharmaceutically acceptable salt thereof according to claim 26 , wherein the formula (I) is formula (I-A-1-3):

where R 1 is alkyl; n is 1, R 2 is alkyloxy; R 4 is hydrogen; R 3 is substituted or unsubstituted aromatic carbocyclyl or substituted or unsubstituted non-aromatic carbocyclyl, R 3A is hydrogen, R 4A is substituted or unsubstituted aromatic heterocyclyl, m is 1, and R a is hydrogen or alkyl.

30. The compound or pharmaceutically acceptable salt thereof according to claim 26 , wherein the formula (I) is formula (I-A-1-4):

where R 1 is alkyl; n is 1, R 2 is alkyloxy; R 4 is hydrogen; R 3 is substituted or unsubstituted aromatic carbocyclyl or substituted or unsubstituted non-aromatic carbocyclyl, R 3A is hydrogen, R 4A is substituted or unsubstituted aromatic heterocyclyl, m is 1, and R a is hydrogen or alkyl.

31. The compound or pharmaceutically acceptable salt thereof according to claim 26 , wherein the formula (I) is formula (I-A-1-5):

where R 1 is alkyl; n is 1, R 2 is alkyloxy; R 4 is hydrogen; R 3 is substituted or unsubstituted aromatic carbocyclyl or substituted or unsubstituted non-aromatic carbocyclyl, R 3A is hydrogen, R 4A is substituted or unsubstituted aromatic heterocyclyl, m is 1, and R a1 is hydrogen or alkyl.

32. A pharmaceutical composition, comprising:

the compound or pharmaceutically acceptable salt thereof according to claim 1 .

33. A method of treating a HIV infectious disease, comprising:

administering the compound or pharmaceutically acceptable salt thereof according to claim 1 .