ProteoformDB: an integrative database for functional roles of proteoforms | Synapse