Ortholophus pulchellus (Bittner, 1892)