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.