Procedures show promise against HIV infection