2-Methyl-3-ethyl-4-phenyl-4-cyclohexenecarboxylic acid 5-Ethyl-6-methyl-4-phenyl-3-cyclohexene-1-carboxylic acid AIDS-125854 AIDS125854 Demethoxyhoggolic acid Fenestrel NSC86465 ORF 3858