AIDS-130963 AIDS130963 Benzyl 1,3-butadienylcarbamate NSC617597