Electron crystallography of proteins in membranes.