1,4-Dihydro-4-oxo-1,2,6-trimethyl-3,5-pyridinedicarboxylic acid, diethyl ester AIDS-020517 AIDS020517