Did Anthony Fauci deserve to be the highest-paid federal employee?