Not enough evidence. He could get a script for low t and the "HIV pills" could be anything.
As stated, HE HAS HAD EXTENSIVE CONTACT WITH OMR WHO HAS CONFIRMED THIS. I do not think OMR is a person to lie, especially about someone having HIV.
If this is not a good enough explanation, oh well.