ANRS research on HIV vaccine — Agence nationale de recherches sur le sida. France (1988-1992)