Proteomic databases and tools to decipher post-translational modifications.