.alpha.-Hydroxy-.gamma.-oxo-L-norvaline AIDS-092585 AIDS092585 Norvaline derivative