4-Carboxy-tetrahydro-3-oxo-2-thiophene-valeric acid, diethyl ester AIDS-018240 AIDS018240