Renormalization-group theory of critical phenomena near the Lambda transition of4He