Computational Screening for Active Compounds Targeting Protein Sequences: Methodology and Experimental Validation | Synapse