Trehazolin, a new trehalase inhibitor.