The present invention provides the following compounds having anti-HIV activity. Wherein A1 is C, CR1A, or N; A2 is C, CR2A, or N; A3 is CR3A, CR3AR3B, N, NR3C, O, S, SO, or SO2; A4 is CR4A , CR4AR4B, N, NR4C, O, S, SO, or SO2; A5 is C, CR5A, or N; the T1 ring is a substituted or unsubstituted monocyclic carbocycle, substituted or unsubstituted monocyclic heterocycle Ring; R1 is halogen, cyano, nitro or -X1-R11 ;, R2 is substituted or unsubstituted alkyl, etc .: n is 1 or 2; R3 is hydrogen, substituted or unsubstituted aromatic carbocyclic R4 is hydrogen or a carboxy protecting group; other symbols are as described in the specification)本発明は、抗HIV作用を有する以下の化合物を提供する。化1(式中、A1は、C、CR1A、またはN;A2は、C、CR2A、またはN;A3は、CR3A、CR3AR3B、N、NR3C、O、S、SO、またはSO2;A4は、CR4A、CR4AR4B、N、NR4C、O、S、SO、またはSO2;A5は、C、CR5A、またはN;T1環は、置換もしくは非置換の単環性炭素環、置換もしくは非置換の単環性複素環;R1は、ハロゲン、シアノ、ニトロまたは-X1-R11;、R2は、置換もしくは非置換のアルキル等:nは、1または2;R3は、水素、置換もしくは非置換の芳香族炭素環式基等;R4は、水素またはカルボキシ保護基;その他の記号は明細書に記載の通り)