A Novel Labeling Approach Supports the Five-transmembrane Model of Subunit a of the Escherichia coli ATP Synthase*