AIDS-018236 AIDS018236 Tetrahydro-5-methyl-4-oxo-3-thiophene-carboxylic acid, ethyl ester