Of course. I looked him up again but this I included HIV in the search. Can't believe I missed it the first time.