Microbiota and probiotics in health and HIV infection