3-(11-Dodecynylidene)-5-hydroxytetrahydro-2H-pyran-2-one AIDS-138230 AIDS138230 Majorynolide NSC644647