4-(1,5-Dimethyl-1,3-hexadienyl)-1-methylcyclohexylformamide AIDS-131124 AIDS131124 NSC622257 Theonellin formamide