Isolation of an antidermatophytic, tryptanthrin, from indigo plants, Polygonum tinctorium and Isatis tinctoria.