One of the intestinal enzymes that is generally deficient in children following an attack of severe infectious enteritis is