HIV didn't become an event in human health that was recognized until the early 1980s. At least this is my recollection. I lived in NYC from 1978 to late 1980, and I don't think they were closing down the bathhouses quite yet, as they dealt with a general public health problem in the gay population. I think it acquired a name sometime later.