Allergy-related proctocolitis in infants: diagnostic usefulness of rectal biopsy.