AIDS-121141 AIDS121141 Methyl 4-dibenzo[b,f]annulen-5-ylidenepiperidinecarboxylate