Can HIV infection cause a worsening of tics in Tourette patients?