Gastrophaius auct.