El director ejecutivo de Protagonist Therapeutics vende 7,5 millones de dólares tras ejercer opciones