AIDS-086444 AIDS086444 ent-MICHELLAMINE A & ent-MICHELLAMINE B & ent-MICHELLAMINE C