Direct analysis of mannitol, lactulose and glucose in urine samples by high-performance anion-exchange chromatography with pulse amperometric detection. Clinical evaluation of intestinal permeability in human immunodeficiency virus infection.