Lentiviruses of animals are biological models of the human immunodeficiency viruses