Gravar-mail: A randomized trial of the intrauterine contraceptive device vs hormonal contraception in women who are infected with the human immunodeficiency virus