AIDS-018523 AIDS018523 Dinitroacetic acid, ethyl ester, potassium derivative