2,3,5,6,7,8,9,9a-Octahydro-1H-benzo[a]cyclohepten-2-yl(diphenyl)phosphine oxide AIDS-134238 AIDS134238 NSC631801