AIDS-051154 AIDS051154 NSC657322 Tetrahydrovermiculin