(1S,4aS,6S,8aR)-6-Isopropyl-8a-methyl-4-methylene-octahydro-naphthalene-1,4a-diol AIDS-113496 AIDS113496 Verticillatol