Protein Function in Extremely Acidic Conditions: Molecular Simulations of a Predicted Aquaporin and a Potassium Channel in Acidithiobacillus Ferrooxidans