The government employee royalties should be paid directly back to taxpayers who fund their paychecks.
Fauci’s name is on some patents only because he’s head of the NIH, not because he personally had anything to do with discovering them, it was other NIH scientists. The NIH has received something like $2 billion over the years in royalties for vaccines they helped developed. But big pharma has managed to receive most of the financial benefits from this publicly funded research.