Treatment of neurosyphilis in HIV-infected patients.