Synonymestuberculine