Design and activity validation of GABA-gated chloride channels allosteric modulators based on computational biology | Synapse