3-(Phenylsulfonyl)-3-azatricyclo[3.2.1.0~2,4~]octane-6,7-dicarboxylic acid AIDS-126101 AIDS126101 NSC98584