Hugo Ruf (soldier)