Gastric acidity and cholera.