3-Benzylidene-4-piperidinone hydrochloride AIDS-157495 AIDS157495 NSC642598 (HYDROCHLORIDE SALT)