2-Thiophenecarboxylic acid, 2-(2-propylidene) hydrazide AIDS-058578 AIDS058578