Histamine and histidine levels in the brain of the histidinaemic mutant mouse