4-hydroxy-5,6-dihydropyrones. 2. Potent non-peptide inhibitors of HIV protease.