Ergotin
(
n.
) An extract made from ergot.