Attenuated retrovirus vaccines and AIDS