(2R,3S)-(+)- and (2S,3R)-(−)-Halofuginone lactate: Synthesis, absolute configuration, and activity against Cryptosporidium parvum