1-Methyl-1-(4-{[1-(3-p-tolyl-8,9-dihydro-7H-benzocyclohepten-6-yl)-methanoyl]-amino}-benzyl)-piperidinium AIDS-081773 AIDS081773