Is drinking water sold in vending machines safe for people with HIV?