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