digitoxin Synonyms