Social Media Perspectives on a Future HIV Vaccine: Mixed Methods Analysis