4-(Benzoyloxy)-3-(4-methyl-5-(2-methyl-5-oxotetrahydro[1,3]dioxolo[4,5-d]isoxazol-3-yl)-2-phenyl-1,3-dioxolan-4-yl)phenyl benzoate AIDS-139587 AIDS139587 NSC649098