Definition of histidine