1-Benzyl-2-(3-(3-isopropyl-4-methyl-2-oxido-5-phenyl-1,3,2-oxazaphospholidin-2-yl)-2-propenyl)-4-piperidinone AIDS-132533 AIDS132533 NSC626663