VDJdb: a curated database of T-cell receptor sequences with known antigen specificity | Synapse