. "R4 is a hydrogen atom, a halogen atom, a phenyl-lower alkyl group, a cycloalkyl-lower alkyl group, a piperidinyl-lower alkanoylamino-lower alkyl group, a pyridinium-lower alkanoylamino-lower alkyl group or a lower alkyl group;" . . . .