Distoleon tetragrammicus