Assembly of a functional F1 of the proton-translocating ATPase of Escherichia coli.