A case of ocular neurosyphilis in a patient with HIV