Spiro[1,3-dioxolane-2,4'-[4H]thieno[2,3-b]thiopyran]-6'-carboxylic acid,5',6'-dihydro-6'-propyl-, ethyl ester, 7',7'-dioxide