9-Heptadecene-4,6-diyne-3,8-diol AIDS-057086 AIDS057086 Oplopandiol