Electrophoretic separation of proteins.