Results on the dynamics for models for the sexual transmission of the human immunodeficiency virus