2,4-Dimethyl-oct-2-enoic acid AIDS-088132 AIDS088132