AIDS-121142 AIDS121142 Methyl 4-(5,6-dihydrodibenzo[b,f]annulen-11-ylidene)piperidinecarboxylate