5876-23-3 AIDS-126781 AIDS126781 Cevane-3,4,12,14,16,17,20-heptol, 4,9-epoxy-, (3.beta.,4.alpha.,16.beta.)- NSC127570 Protocevine Veracevin Veracevine