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； R 1 is substituted or unsubstituted alkyl etc., R 2 is substituted or unsubstituted alkyloxy etc.； n is 1 or 2； R 3 is a substituted or unsubstituted aromatic carbocyclic group； R 4 is a hydrogen atom etc.； R 5 is a substituted or unsubstituted aromatic carbocyclic group etc.； Y is a single bond etc.； R 6 is substituted or unsubstituted alkyl； R 7 is -Z-R 71 etc.； Z is - NR 72 -CO- etc.； R 71 is substituted or unsubstituted alkyl etc.； R 72 is a hydrogen atom etc.
