13,19-Didehydro-12,18-dihydroxysenecionan-11,16-dione 23246-96-0 AIDS-020850 AIDS020850 Riddelliine