Diseño in silico y validación de moduladores del canal iónico TRAAK Conference Paper 2020 Congress communication