5-Hydroxy-1-(3-(trimethylsilyl)-2-propenyl)-2-pyrrolidinone AIDS-130933 AIDS130933 NSC617354