R7 is a hydrogen atom, an optionally substituted alkyl, an optionally substituted aryl, an optionally substituted aromatic heterocyclic group having one or more hetero atoms selected from the group consisting of a nitrogen atom, sulfur atom, and oxygen atom, or ???CO(Y)pR12.