A new synonym of the ant Proceratium japonicum (Hymenoptera, Formicidae).