3-(11-Dodecenylidene)-5-hydroxytetrahydro-2H-pyran-2-one AIDS-138231 AIDS138231 Majorenolide NSC644648