Describir: Toward a Chemical Mechanism of Proton Pumping by the B-Type Cytochrome c Oxidases: Application of Density Functional Theory to Cytochrome ba[sub3] of Thermus thermophilus.