(+)-Isoiridomyrmecin