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.