Koch’s postulates met.
Sorry but antibodies of an infection are not proof of infection. They are proof of a past infection. You cannot substitute an HIV antibody test for the virus itself and therefor you cannot use this to show the strong association required by Koch. Plus Koch requires a strong correlation. That strong correlation does not exist with the HIV virus.
The “HIV Deniers” are claiming that the HIV drugs are killing people. Of all the people who were exposed to the HIV virus, how many of them never received anti viral drugs and went on to die from AIDS. I suspect that they all received HIV treatment. This makes it a little difficult to disprove the oppositions argument since we don't have a control group.
Anyway, I'm not saying HIV and AIDS are not related. It's just the question that came to mind.