1,3-dioxolane-4-carboxylic acid, 2-methyl-2-[(phenylmethoxy)methyl]-, (2R,4S)- AIDS-112536 AIDS112536