Prevention of diarrhoea in children with HIV infection or exposure to maternal HIV infection.