Lectin-carbohydrate interactions and infectivity of human immunodeficiency virus type 1 (HIV-1).