2-Benzyl-7,7-dimethoxy-5-(phenylsulfonyl)-2-azabicyclo[2.2.2]octan-3-one AIDS-132255 AIDS132255 NSC625761