According to medical coding guidelines, what must be the first-listed diagnosis if a patient has documented HIV, even if the visit is for an unrelated condition?