3,5-Bis((3,4-dihydroxyphenyl)methylene)piperidin-4-one 3,5-Bis-(3,4-dihydroxy-benzylidene)-piperidin-4-one AIDS-057937 AIDS057937