Hoplolaimus magnistylus