Products of Lovastatin.