AIDS-018235 AIDS018235 Tetrahydro-4-oxo-3-thiophenecarboxylic acid, ethyl ester