5-[3-(Benzyloxy)propyl]tetrahydro-4-oxo-3-thiophenecarboxylic acid, ethyl ester AIDS-018237 AIDS018237