12-Acetoxytremetone AIDS-113493 AIDS113493 Acetic acid 2-((R)-5-acetyl-2,3-dihydro-benzofuran-2-yl)-allyl ester