It looks like the reference to HIV was removed from Mr. Van Damme's wikipedia entry. I scanned it and didn't see anything.