Bagous petro (Herbst)