High-performance liquid chromatography of DNA restriction fragments.