1-(1,3-Benzodioxol-5-ylcarbonyl)-4-hydroxy-2-pyrrolidinecarboxamide AIDS-144097 AIDS144097 NSC666154