1,3-Dioxolane-4,5-dicarboxylic acid,2-[(3R,5R)-tetrahydro-5-[(1R)-1-hydroxyethyl]-4-oxo-2H-thiopyran-3-yl]-,bis(1-methylethyl) ester, (4R,5R)-