?Neocerambyx mandarinus Gressitt, 1939