PROBLEM TO BE SOLVED: To provide a pharmaceutical composition containing a compound having anti-virus action, specifically HIV replication inhibitory activity, or a pharmaceutically acceptable salt thereof.SOLUTION: The present invention provides a compound represented by formula (I), or a pharmaceutically acceptable salt thereof (where a dashed line represents the presence or absence of a bond, A3 represents CR3A, CR3AR3B, N or NR3C, R3A, R3B, R4A and R4B independently represent H, a cyano group and the like, R3C represents H, an alkyl group and the like, ring T1 represents a nitrogen-containing nonaromatic heterocycle, R1 represents H, a cyano group and the like, R2s independently represent an alkyl group and the like, n represents 1 or 2, R3 represents an aromatic carbocyclic group and the like, R4 represents H or a carboxy protecting group).SELECTED DRAWING: NoneCOPYRIGHT: (C)2018,JPO&INPIT【課題】抗ウイルス作用、特にHIV複製阻害活性を有する化合物、又はその製薬上許容される塩を含有する医薬組成物の提供。【解決手段】式(I)で表される化合物、又はその製薬上許容される塩。(式中、破線は結合の存在、非存在を表し、A3はCR3A、CR3AR3B、N又はNR3Cを、R3A、R3B、R4A及びR4Bは各々独立してH、シアノ基等を、R3Cは、H、アルキル基等を、環T1は、含窒素非芳香族複素環を、R1は、H、シアノ基等を、R2は各々独立してアルキル基等を、nは1又は2を、R3は芳香族炭素環式基等を、R4はH又はカルボキシ保護基を表す)。【選択図】なし