. "In Formula (Ha), R12 is a hydrogen atom, an alkyl group, an alkenyl group, an alkynyl group, an aryl group, a heterocyclic group, a carbamoyl group or an oxycarbonyl group, and these groups each may have a substituent." . . . .