k.23.1.1 - Potassium channel toxin hstx1 k.23.1.2 - Mini-protein reproducing the core of the CD4 surface