Protein Design is NP-hard | Synapse