12-Carboxy-13-methoxytotara-8,11,13-triene AIDS-106024 AIDS106024 Totarol deriv