1,3-Dioxolane-4-carboxylic acid, 2-methyl-2-[(phenylmethoxy)methyl]-, (2S,4R)- AIDS-112535 AIDS112535