High-performance liquid chromatography of proteins