The present invention provides a novel compound having an antiviral action, in particular, an HIV replication inhibiting action, as well as a pharmaceutical composition, in particular, an anti-HIV agent.wherein, a broken line means the presence or absence of a bond； R1 is substituted or unsubstituted alkyl etc., R2 is substituted or unsubstituted alkyloxy etc.； n is 1 or 2； R3 is a substituted or unsubstituted aromatic carbocyclic group； R4 is a hydrogen atom etc.； R5 is a substituted or unsubstituted aromatic carbocyclic group etc.； Y is a single bond etc.； R6 is substituted or unsubstituted alkyl； R7 is -Z-R71 etc.； Z is - NR72-CO- etc.； R71 is substituted or unsubstituted alkyl etc.； R72 is a hydrogen atom etc.
