87. What is ajmaline used for?