Two-dimensional gel electrophoresis of membrane proteins using anionic and cationic detergents. Application to the study of mitochondrial F0-F1-ATPase.