Downloadable computer software for mass spectrometry de novo sequencing; Downloadable computer software for de novo sequencing aided by real-time deep learning applied to mass spectrometry data; Apparatus and instruments for electrophoresis and mass spectrometry