(4-Ethyl-5-methyl-3-cyclohexen-1-yl)(diphenyl)phosphine oxide 4-Ethyl-5-methyl-3-cyclohexen-1-yl(diphenyl)phosphine oxide AIDS-134240 AIDS134240 NSC631803