3,8,12,17-Tetrahydroxytricyclo[12.3.1.1~2,6~]nonadeca-1(18),2(19),3,5,14,16-hexaen-9-one AIDS-137862 AIDS137862 Casuarinondiol NSC643196