Abstract: A compound of the formula: [wherein R1 is a hydrocarbon group which may be substituted; R2 is a cyclic hydrocarbon group which may be substituted or a heterocyclic group which may be substituted; R3 is halogen atoms, a carbamoyl group which may be substituted, a sulfamoyl group which may be substituted, an acyl group derived from sulfonic acid, a C1-4 alkyl group which may be substituted, a C1-4 alkoxy group which may be substituted, an amino group which may be substituted, a nitro group or a cyano group; R4 is hydrogen atoms or a hydroxy group; n is 0 or 1; and p is 0 or 1 to 4]; or a salt thereof, has potent CCR5 antagonistic activity and can be advantageously used as a medicament for inhibition of HIV infection to human peripheral blood mononuclear cells, especially for the treatment or prevention of AIDS.