95-01-2 AIDS-017923 AIDS017923 beta-Resorcylaldehyde