AIDS-342117 AIDS342117 Methanone, [4-(cyclohexylmethoxy)phenyl]cyclopropyl-