Synthesis of prospective disaccharide ligands for Escherichia coli O157 verotoxin