1-Benzyl 5-methyl 3-(((benzyloxy)carbonyl)amino)-2-(2-methyl-1,3-dioxolan-2-yl)pentanedioate AIDS-139501 AIDS139501 NSC648843