Docking, synthesis, and NMR studies of mannosyl trisaccharide ligands for DC-SIGN lectin.