10-Dodecenoic acid, 3,7,11-trimethyl- AIDS-110912 AIDS110912 Hexahydrofarneseic acid