<qa>  What is the name of the adult patients who have been diagnosed with HIV infection?2. Adult patients 18 years with documented HIV infection, with high-grade AIN demonstrated by biopsy, and have not received any prior treatment for Anal Intraepithelial Neoplasia in the last 12 weeks. 