AIDS-112530 AIDS112530 Benzamide, N-[1,2-dihydro-1-[(2R,4S)-2-methyl-2-[(phenylmethoxy)methyl]-1,3-dioxolan-4-yl]-2-oxo-4-pyrimidinyl]-