Aryl group-or aromatic heterocyclic group-substituted aminoquinolone derivatives and anti-hiv agent

A compound of formula (Ia) or a pharmaceutically acceptable salt or ester thereof:

• ##STR77## in which X represents a fluorine atom;
• Y represents a hydrogen atom, a halogen atom, a lower alkyl group, an unsubstituted amino group, or an amino group substituted by one or two groups selected from the group consisting of a lower alkyl group and an aralkyl group;
• Z represents a protected or an unprotected carboxyl group or a 5-tetrazolyl group;
• Q represents a group of formula (d):
• ##STR78## R.sup.1 and R.sup.2 together represent a group of formula (f):
• ##STR79## wherein A represents a hydrogen atom, or a lower alkyl group which is unsubstituted or substituted by at least one substituent selected from the group consisting of a halogen atom, a hydroxy group and a lower alkoxy group;
• G represents a nitrogen atom or a group of formula (g):
• ##STR80## G.sup.2 represents a methylene group, a carbonyl group, an oxygen atom or a group of formula --N(R.sup.11)--, where R.sup.11 represents a hydrogen atom or a lower alkyl group;
• p=1 or 1;
• R represents a group of formula (h) or (i):
• ##STR81## wherein R.sup.3 is a 5- or 6-membered aromatic heteromonocyclic group having one or two heteroatoms selected from the group consisting of N, O and S, which is unsubstituted or substituted by at least one substituent R.sup. as defined below, or a fused aromatic group which is a benzene ring fused with a 5- or 6-membered aromatic heteromonocyclic group having one or two heteroatoms selected from the group consisting of N, O and S, which is unsubstituted or substituted by at least one substituent R.sup.0 as defined below;
• R.sup.6 is an aryl group which is unsubstituted or substituted by at least one substituent R.sup.0 as defined below, a 5- or 6-membered aromatic heterocyclic group having one or two heteroatoms selected from the group consisting of N, O and S, which is unsubstituted or substituted by at least one substituent R.sup.0 as defined below, or a fused aromatic group which is a benzene ring fused with a 5- or 6-membered aromatic heteromonocyclic group having one or two heteroatoms selected from the group consisting of of N, O and S, which is unsubstituted or substituted by at least one substituent R.sup.0 as defined below;
• R.sup.4, R.sup.5 and R.sup.7 are the same or different, and each represents a hydrogen atom or a lower alkyl group;
• R.sup.8 represents a hydrogen atom, a lower alkyl group, a hydroxy group or a lower alkoxy group;
• n=1 or 2;
• m=0 or 1;
• n'=1 or 2;
• and
• n"=1, 2, 3 or 4;
• and substituent R.sup.0 is selected from the group consisting of halogen atoms, nitro groups, hydroxy groups, lower alkyl groups which are unsubstituted or substituted with at least one halogen atom, lower alkoxy group, and amino groups which are unsubstituted or substituted with one or two lower alkyl groups, and when there are two or more substituents R.sup.0, each are the same or different.