High resolution two-dimensional electrophoresis of proteins.